This patch implements a very basic test for commits and pull requests to be run on GitHub Actions. This does not yet check much, but would have caught something like the recent syntax error.