meta update for coq-community, test up to MathComp 1.17 and Coq 8.17 #25
Job | Run time |
---|---|
2m 47s | |
3m 2s | |
2m 30s | |
2m 27s | |
3m 8s | |
2m 6s | |
2m 29s | |
3m 5s | |
2m 33s | |
2m 36s | |
2m 26s | |
2m 30s | |
31m 39s |
Job | Run time |
---|---|
2m 47s | |
3m 2s | |
2m 30s | |
2m 27s | |
3m 8s | |
2m 6s | |
2m 29s | |
3m 5s | |
2m 33s | |
2m 36s | |
2m 26s | |
2m 30s | |
31m 39s |