Stream: Coq devs & plugin devs

Topic: CI elpi broken


view this post on Zulip Enrico Tassi (Apr 28 2022 at 08:29):

I'm working on it

view this post on Zulip Enrico Tassi (Apr 28 2022 at 11:45):

fixed in https://github.com/coq/coq/pull/15948

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.

view this post on Zulip Notification Bot (May 09 2022 at 17:20):

Ali Caglayan has marked this topic as unresolved.

view this post on Zulip Ali Caglayan (May 09 2022 at 17:21):

@Enrico Tassi elpi seems to be failing on master again

view this post on Zulip Ali Caglayan (May 09 2022 at 17:21):

https://github.com/coq/coq/runs/6355140994


Last updated: Mar 28 2024 at 11:01 UTC