Opened this issue 4 years ago · 1 comments
Generating the github pages for the documentation should be automated as a github actions workflow.
Done in c54aa20