by only building, we can hopefully be in the build time limit, while
still providing a bit of useful service, e.g. indicating early when
GitHub pull requests (with seemingly innocent results) fail to build.