Use GHC2024 in singletons-{th,base} #354
Job | Run time |
---|---|
8m 15s | |
2m 21s | |
2m 18s | |
2m 12s | |
1m 45s | |
1m 54s | |
1m 45s | |
1m 53s | |
1m 54s | |
1m 58s | |
1m 45s | |
2m 5s | |
30m 5s |
Job | Run time |
---|---|
8m 15s | |
2m 21s | |
2m 18s | |
2m 12s | |
1m 45s | |
1m 54s | |
1m 45s | |
1m 53s | |
1m 54s | |
1m 58s | |
1m 45s | |
2m 5s | |
30m 5s |