Stream: math-comp devs

Topic: [IMPORTANT] Release of MathCom[IMPORTANp v1.15.0 in progress


view this post on Zulip 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.**

view this post on Zulip 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.

view this post on Zulip 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)

view this post on Zulip 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.

view this post on Zulip Erik Martin-Dorel (Jul 02 2022 at 22:25):

@Enrico Tassi PR mergedGitLab CI pipelinenew tags in mathcomp/mathcomp.

view this post on Zulip Enrico Tassi (Jul 03 2022 at 05:25):

Thanks


Last updated: Aug 11 2022 at 03:02 UTC