Update for Coq v8.19, drop support of v8.15 and earlier #202
Job | Run time |
---|---|
2m 42s | |
1m 45s | |
2m 49s | |
3m 2s | |
2m 54s | |
2m 36s | |
2m 35s | |
2m 42s | |
2m 38s | |
23m 43s |
Job | Run time |
---|---|
2m 42s | |
1m 45s | |
2m 49s | |
3m 2s | |
2m 54s | |
2m 36s | |
2m 35s | |
2m 42s | |
2m 38s | |
23m 43s |