Merge pull request #16 from alexfmpe/ghc-9.12 #29
Job | Run time |
---|---|
5m 0s | |
11m 56s | |
4m 58s | |
10m 20s | |
4m 58s | |
11m 4s | |
5m 8s | |
10m 40s | |
5m 33s | |
10m 37s | |
5m 26s | |
22m 35s | |
5m 48s | |
22m 11s | |
6m 29s | |
23m 36s | |
4m 26s | |
27m 28s | |
3h 18m 13s |
Job | Run time |
---|---|
5m 0s | |
11m 56s | |
4m 58s | |
10m 20s | |
4m 58s | |
11m 4s | |
5m 8s | |
10m 40s | |
5m 33s | |
10m 37s | |
5m 26s | |
22m 35s | |
5m 48s | |
22m 11s | |
6m 29s | |
23m 36s | |
4m 26s | |
27m 28s | |
3h 18m 13s |