Merge pull request #444 from math-comp/new_elpi_resolver #297
nix-action-coq-8.18.yml
on: push
coq
33s
mathcomp-single
38s
fourcolor
13m 5s
coq-bits
1m 26s
addition-chains
36s
http
35s
mathcomp-analysis
6h 0m
coqeal
3m 29s
odd-order
13m 10s
Annotations
2 errors
mathcomp-analysis
The job running on runner GitHub Actions 3 has exceeded the maximum execution time of 360 minutes.
|
mathcomp-analysis
The operation was canceled.
|