Use Github Actions to build in CI (including pull requests).
Use Github Actions to build in CI (including pull requests).