Stream: Coq devs & plugin devs

Topic: CI elpi broken

Enrico Tassi (Apr 28 2022 at 08:29):

I'm working on it

Enrico Tassi (Apr 28 2022 at 11:45):

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

Notification Bot (May 09 2022 at 17:20):

Ali Caglayan has marked this topic as unresolved.

Ali Caglayan (May 09 2022 at 17:21):

@Enrico Tassi elpi seems to be failing on master again

Ali Caglayan (May 09 2022 at 17:21):

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

Last updated: Feb 02 2023 at 15:04 UTC