We are now starting the release process for mathcomp v1.15.0
All pull requests targeted to this release have been merged.
This message grabs the lock on the master branch.
**Please refrain from adding anything to the master branch until the
lock is released.**
I'm done with episode 1, you can go back to merge in master (even if Github's CI is currently dead ;-)
I'm now moving on to OPAM packages. Help for docker and nix would be appreciated, since I don't know these two beasts well.
since the opam packages are now out on
released, I ping @Erik Martin-Dorel for the MC 1.15.0 Docker image - this is our number one tool to test MathComp stuff in Coq-community (including in Platform projects like Reglang)
Thanks @Karl Palmskog for the ping; I'm busy upto 15:00 but then I'll be able to have a look.
@Enrico Tassi PR merged → GitLab CI pipeline → new tags in
Last updated: Nov 29 2023 at 06:01 UTC