Build with ghc(js) 9.8.2 + 9.10.1 #241
Job | Run time |
---|---|
16m 12s | |
29m 47s | |
23m 5s | |
45m 30s | |
22m 44s | |
46m 6s | |
24m 17s | |
39m 50s | |
25m 30s | |
48m 5s | |
28m 6s | |
51m 27s | |
23m 24s | |
54m 27s | |
20m 31s | |
53m 2s | |
9h 12m 3s |
Job | Run time |
---|---|
16m 12s | |
29m 47s | |
23m 5s | |
45m 30s | |
22m 44s | |
46m 6s | |
24m 17s | |
39m 50s | |
25m 30s | |
48m 5s | |
28m 6s | |
51m 27s | |
23m 24s | |
54m 27s | |
20m 31s | |
53m 2s | |
9h 12m 3s |