I'm working on it

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

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: Feb 02 2023 at 15:04 UTC