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)

view this post on Zulip motrellin (May 04 2024 at 13:17):

Hi there,
is it also possible to generate such a deployment workflow via the Templates-Repo? At least, this would be a nice improvement in my opinion, as the coqdoc: true-option in meta.ymlgenerates a link to the repository github page.

view this post on Zulip Karl Palmskog (May 04 2024 at 14:25):

it's possible to add, but it has to make a lot assumptions about the project that will not hold for many projects. Probably it would be better to support coqdoc generation via Dune only

view this post on Zulip Karl Palmskog (May 04 2024 at 14:27):

for example, the current version for AAC Tactics builds also OCaml documentation


Last updated: Jun 23 2024 at 01:02 UTC