Stéphan Kochen b6ed74f0ee Don't fail PRs if dist outdated ...

This removes the step for everything but the main branch. On the main
branch, we instead auto-update dist, so we can still merge PRs that
forgot to update dist.

2022-01-25 20:26:31 +01:00

..

workflows

Don't fail PRs if dist outdated

2022-01-25 20:26:31 +01:00