Stream: Hierarchy Builder devs & users

Topic: ✔ Release 1.6.0


view this post on Zulip Enrico Tassi (Sep 20 2023 at 14:13):

Running here https://github.com/math-comp/hierarchy-builder/actions/runs/6249839427

view this post on Zulip Enrico Tassi (Sep 20 2023 at 14:34):

opam PR https://github.com/coq/opam/pull/2732

view this post on Zulip Enrico Tassi (Sep 20 2023 at 14:34):

all seems good

view this post on Zulip Notification Bot (Sep 20 2023 at 14:34):

Enrico Tassi has marked this topic as resolved.


Last updated: Apr 21 2024 at 01:02 UTC