Enrico Tassi (Jun 30 2022 at 08:17): Enrico Tassi (Jun 30 2022 at 08:17):Dear all,
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.**
Enrico Tassi (Jun 30 2022 at 09:33):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.
Karl Palmskog (Jun 30 2022 at 20:20):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)
Erik Martin-Dorel (Jul 01 2022 at 07:01):Thanks @Karl Palmskog for the ping; I'm busy upto 15:00 but then I'll be able to have a look.
Erik Martin-Dorel (Jul 02 2022 at 22:25):@Enrico Tassi PR merged → GitLab CI pipeline → new tags in mathcomp/mathcomp.
Enrico Tassi (Jul 03 2022 at 05:25):Thanks
Last updated: Nov 29 2023 at 06:01 UTC