Stream: Hierarchy Builder devs & users

Topic: ✔ coq-master vs. master

view this post on Zulip Karl Palmskog (Dec 01 2023 at 19:53):

did HB remove the coq-master branch? My opam .dev package suddenly failed.

view this post on Zulip Karl Palmskog (Dec 01 2023 at 19:53):

ah, this was done in https://github.com/coq/opam/pull/2849

view this post on Zulip Notification Bot (Dec 01 2023 at 19:53):

Karl Palmskog has marked this topic as resolved.

Last updated: Sep 15 2024 at 13:02 UTC