Stream: coq-community devs & users

Topic: continuous coqdoc deployment

view this post on Zulip 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:

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