For easier integration of pull requests, it would be useful to have automatic checks to make sure it at least compiles with a GitHub action.