Open
Description
Currently, we manually deploy documentation to GitHub Pages using the build-docs.sh script.
This should be automated using GitHub actions.
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests