With PR #50 we (and by "we" I mean "I") broke the tests.
GitHub actions did not run for the PR, and so we (and by "we" I mean "Jos") noticed only after merging the PR.
It would be useful to have GitHub actions run for each PR, so that we can more easily prevent breaking the build.
With PR #50 we (and by "we" I mean "I") broke the tests. GitHub actions did not run for the PR, and so we (and by "we" I mean "Jos") noticed only after merging the PR. It would be useful to have GitHub actions run for each PR, so that we can more easily prevent breaking the build.