Publishing with GitHub pages
This site is automatically published to GitHub Pages via the included
action file: .github/workflows/deploy.yaml. You can fork the
repository and enable the action to run on your behalf and publish to
your own site automatically, whenever you run git push
.