[WIP] migrating to GHC 8.10 and Coq 8.18. #90
Job | Run time |
---|---|
8s | |
12m 0s | |
21m 8s | |
11m 20s | |
13m 37s | |
11m 33s | |
12m 2s | |
6m 23s | |
6h 0m 15s | |
6h 0m 14s | |
6h 0m 13s | |
19h 28m 53s |
Job | Run time |
---|---|
8s | |
12m 0s | |
21m 8s | |
11m 20s | |
13m 37s | |
11m 33s | |
12m 2s | |
6m 23s | |
6h 0m 15s | |
6h 0m 14s | |
6h 0m 13s | |
19h 28m 53s |