ifdefs on elpi version in source code #33
Triggered via pull request
September 23, 2024 20:49
gares
Status
Success
Total duration
44m 58s
Artifacts
–
nix-action-coq-8.20.yml
on: pull_request
coq
49s
interval
3m 27s
mathcomp-analysis
11m 11s
coqeal
4m 47s
odd-order
12m 5s