manifesto icon indicating copy to clipboard operation
manifesto copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Automated deployment of coqdoc HTML documentation for each new release

Open anton-trunov opened this issue 5 years ago • 2 comments

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.

anton-trunov avatar Sep 11 '20 17:09 anton-trunov

@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.

palmskog avatar Sep 11 '20 17:09 palmskog

@palmskog Thanks for the pointer!

anton-trunov avatar Sep 11 '20 18:09 anton-trunov