nolds icon indicating copy to clipboard operation
nolds copied to clipboard
verified publisher icon CSchoel

(optional) Automate deployment of GitHub pages.

Open CSchoel opened this issue 1 year ago • 0 comments

Currently, we deploy GitHub pages manually. This is an unnecessary hassle. We can just use GitHub actions for that.

  • [ ] Create a GHA workflow for building docs and publishing pages.
  • [ ] Test the workflow with the current feature branch.

CSchoel avatar Aug 10 '24 14:08 CSchoel