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: Mar 28 2024 at 11:01 UTC