search

coq-community / manifesto

Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
Other
68 stars 6 forks source link

Automated deployment of coqdoc HTML documentation for each new release #118

Open anton-trunov opened 3 years ago

anton-trunov commented 3 years ago

Looks like the instructions in the wiki can be used in conjunction with Github Actions to do this, provided the build system has the coqdoc goal.

palmskog commented 3 years ago

@anton-trunov indeed the goal is to fully automate this, but it's a bit more intricate than simply following those instructions, see the discussion at https://github.com/coq/bot/issues/85.

anton-trunov commented 3 years ago

@palmskog Thanks for the pointer!