I'm working on it

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

fixed

Enrico Tassi has marked this topic as resolved.

Ali Caglayan has marked this topic as unresolved.

@Enrico Tassi elpi seems to be failing on master again

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

Last updated: Oct 13 2024 at 01:02 UTC