Doc site should be built by CI and installed on github pages

lip6 / coriolis

Coriolis VLSI EDA Tool (LIP6)

https://coriolis.lip6.fr

GNU General Public License v2.0

52 stars 7 forks source link

Doc site should be built by CI and installed on github pages #33

Open robtaylor opened 1 year ago

robtaylor commented 1 year ago

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.

Coloquinte commented 9 months ago

At the moment, there is an action that is supposed to build the doc and push them to Github pages.

The deployment to the gh-pages branch works. However, links generated for a PR preview don't work, and it's unclear if the pages at lip6.github.io/coriolis/ are updated when deploying