Merge pull request #25 from coq-community/mc-1-community-update #27
Job | Run time |
---|---|
2m 30s | |
2m 38s | |
2m 34s | |
2m 33s | |
2m 33s | |
2m 36s | |
2m 20s | |
2m 24s | |
3m 11s | |
2m 23s | |
25m 42s |
Job | Run time |
---|---|
2m 30s | |
2m 38s | |
2m 34s | |
2m 33s | |
2m 33s | |
2m 36s | |
2m 20s | |
2m 24s | |
3m 11s | |
2m 23s | |
25m 42s |