Build with ghc(js) 9.8.2 + 9.10.1 #251
Job | Run time |
---|---|
4m 7s | |
7m 14s | |
4m 30s | |
7m 46s | |
4m 35s | |
7m 55s | |
4m 37s | |
8m 23s | |
4m 55s | |
8m 2s | |
4m 31s | |
7m 12s | |
5m 16s | |
19m 20s | |
5m 24s | |
19m 12s | |
2h 2m 59s |
Job | Run time |
---|---|
4m 7s | |
7m 14s | |
4m 30s | |
7m 46s | |
4m 35s | |
7m 55s | |
4m 37s | |
8m 23s | |
4m 55s | |
8m 2s | |
4m 31s | |
7m 12s | |
5m 16s | |
19m 20s | |
5m 24s | |
19m 12s | |
2h 2m 59s |