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: Nov 29 2023 at 18:01 UTC