GitHub Pages

GitHub Pages is an easy way to deploy and host static websites on GitHub.

See our CI configuration.

Check flake.nix where we specify a base URL since, without CNAME, the default github.io domain will publish the site under a sub-path.

Links to this page