Hannes (Mar 30 2023 at 06:07): Hannes (Mar 30 2023 at 06:07):I've written a GitHub Actions workflow to build and deploy docs for a library to GitHub Pages.
The workflow can be seen here and the generated site is here.
Unfortunately it's a non-trivial workflow at the moment because roc docs doesn't generate an index.html, so I've made a barebones index with the find command. Also, roc docs assumes it will be deployed at the root of a website, so I used sed to prepend the repo's name to the paths .
Last updated: Jul 05 2025 at 12:14 UTC