Doc site should be built by CI and installed on github pages #33
Labels
documentation
Improvements or additions to documentation
good first issue
Good for newcomers
help wanted
Extra attention is needed
We should have a CI step for building the docs and installing on our github page. We should also remove the committed generated files related to documentation.
The text was updated successfully, but these errors were encountered: