Tag V8.18.0 is set

This is a gentle note for the maintainers of Coq packages out there
that the tag for 8.18.0 is out.

I'll work myself on the opam packaging.


Enrico, the documentation corresponding to that tag has not yet been pushed to that repo: GitHub - coq/doc: Coq user manual, automatically deployed

Is there a gitlab-ci job that needs to be manually triggered somehow?

There was probably a problem with coq-bot, see bump coq version to 8.18.0 by gares · Pull Request #222 · coq/coq.github.io · GitHub
@Zimmi48 is looking into it.

1 Like