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: Feb 05 2023 at 15:03 UTC