Stream: Coq devs & plugin devs

Topic: testing coqdoc on sf?

view this post on Zulip Gaƫtan Gilbert (Jul 24 2020 at 13:20):

would it be interesting to run coqdoc in the ci-sf job and upload the artifact like we do for refman etc?
it wouldn't be human reviewed often but would give coqdoc a bit of exercise, and coqdoc PRs would have a chance of manual review

Last updated: Oct 16 2021 at 02:03 UTC