Stream: math-comp devs

Topic: 1.19.0 release


view this post on Zulip Pierre Roux (Jan 15 2024 at 09:20):

Dear all,

We are now starting the release process for mathcomp 1.19.0.
All pull requests targeted to this release have been merged.
This message grabs the lock on the mathcomp-1 branch.

Please refrain from adding anything to the mathcomp-1 branch until the lock is released.

Best wishes,
--
Laurent and Pierre

view this post on Zulip Pierre Roux (Jan 15 2024 at 13:32):

The release has been tagged. We are releasing the lock on the mathcomp-1 branch and preparing the OPAM and Nix packages.

view this post on Zulip Karl Palmskog (Jan 15 2024 at 14:11):

for a quicker merge in the opam archive, you can write the following in the PR comment (not any point now, but maybe in upcoming 2.X release?):

ci-skip: coq-mathcomp-ssreflect.1.19.0 coq-mathcomp-fingroup.1.19.0 coq-mathcomp-algebra.1.19.0 coq-mathcomp-solvable.1.19.0 coq-mathcomp-field.1.19.0

view this post on Zulip Karl Palmskog (Jan 15 2024 at 14:12):

the idea is that due to the "line dependency graph", if character builds, you get everything tested

view this post on Zulip Karl Palmskog (Jan 15 2024 at 14:14):

ah, and there is no need to write the ci-skip stuff with fixed-width font

view this post on Zulip Pierre Roux (Jan 15 2024 at 14:38):

OPAM packages available, Nix still in preparation


Last updated: Jul 23 2024 at 20:01 UTC