Stream: Coq devs & plugin devs

Topic: ✔ CI elpi broken


view this post on Zulip Enrico Tassi (Apr 28 2022 at 15:01):

fixed

view this post on Zulip Notification Bot (Apr 28 2022 at 15:01):

Enrico Tassi has marked this topic as resolved.


Last updated: Feb 06 2023 at 19:03 UTC