Hosting

We deploy the site using GitHub Pages, and the build is facilitated by GitHub Actions.