Make the code compatible with the new elpi file resolver #12
Triggered via pull request
September 20, 2024 11:30
Status
Success
Total duration
1h 14m 9s
Artifacts
–
nix-action-coq-8.20.yml
on: pull_request
coq
34s
mathcomp-single
7m 58s
interval
2m 31s
fourcolor
15m 45s
coq-bits
3m 49s
mathcomp-analysis
11m 17s
coqeal
5m 18s
odd-order
23m 36s