meta update for coq-community, test up to MathComp 1.17 and Coq 8.17 #26
Job | Run time |
---|---|
2m 27s | |
3m 14s | |
3m 10s | |
2m 33s | |
2m 28s | |
2m 30s | |
2m 24s | |
2m 32s | |
2m 34s | |
2m 30s | |
26m 22s |
Job | Run time |
---|---|
2m 27s | |
3m 14s | |
3m 10s | |
2m 33s | |
2m 28s | |
2m 30s | |
2m 24s | |
2m 32s | |
2m 34s | |
2m 30s | |
26m 22s |