Closed HennerM closed 7 months ago
Configure GitHub action to push sphinx docs to GitHub.io. Docs are built on the fly, we don't have to commit them to the repo anymore
Configure GitHub action to push sphinx docs to GitHub.io. Docs are built on the fly, we don't have to commit them to the repo anymore