With the new changes in the `hakyll` branch, we have an infrastructure that can build and then deploy to the main branch. Next we need the same kind of CI for PRs into that branch that does the build, and hopefully later some verification steps, but no deploy.