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: Jun 05 2023 at 09:01 UTC