Once the tests work again (#27), they should be set up to run automatically, for example with GitHub Actions.
