Stream: MetaCoq

Topic: Release tag for 1.3+8.18


view this post on Zulip Rodolphe Lepigre (Oct 13 2023 at 12:16):

Could someone create the tag for the release? I saw @Yannick Forster created an 8.18 branch, but there is not tag yet. I can take care of create an MR against https://github.com/coq/opam.

view this post on Zulip Rodolphe Lepigre (Oct 13 2023 at 12:58):

See https://github.com/coq/opam/pull/2760 (will update when the release is tagged).

view this post on Zulip Rodolphe Lepigre (Oct 16 2023 at 07:32):

Is there anything blocking here, or is this just a matter of finding the time to git tag?

view this post on Zulip Yannick Forster (Oct 16 2023 at 07:32):

No blockers, if it's urgent we can do it immediately

view this post on Zulip Yannick Forster (Oct 16 2023 at 07:32):

As usually, we would have delayed a bit to get in some PRs to bring things into a state "worthy" of a real tag

view this post on Zulip Yannick Forster (Oct 16 2023 at 07:33):

But that's not high priority, so we could tag quickly

view this post on Zulip Rodolphe Lepigre (Oct 16 2023 at 07:33):

It's not critically urgent, but having a release would make my life simpler.

view this post on Zulip Rodolphe Lepigre (Oct 16 2023 at 07:33):

(i.e, not having to set up a custom release)

view this post on Zulip Rodolphe Lepigre (Oct 16 2023 at 07:34):

Alternatively, I'd be happy with a 1.2+8.18 release if that's better from your side.


Last updated: Jul 23 2024 at 21:01 UTC