Stream: coq-community devs & users

Topic: continuous coqdoc deployment

Karl Palmskog (Mar 26 2022 at 20:30):

For plugins, it makes sense to have continuous coqdoc documentation for the master branch, since nearly all development happens there. I set this up for AAC Tactics:

• https://coq-community.org/aac-tactics/docs/coqdoc/toc.html
• https://github.com/coq-community/aac-tactics/blob/master/.github/workflows/deploy-coqdoc.yml

Should be easy to adopt for any GitHub project (that wants to force-push gh-pages with coqdoc on each commit to master)

Last updated: Jun 03 2023 at 18:01 UTC