Use GHC2024
in singletons-{th,base}
#355
Job | Run time |
---|---|
8m 19s | |
2m 26s | |
2m 14s | |
2m 3s | |
1m 49s | |
1m 46s | |
1m 51s | |
1m 43s | |
1m 47s | |
1m 47s | |
1m 35s | |
1m 54s | |
29m 14s |
GHC2024
in singletons-{th,base}
#355
Job | Run time |
---|---|
8m 19s | |
2m 26s | |
2m 14s | |
2m 3s | |
1m 49s | |
1m 46s | |
1m 51s | |
1m 43s | |
1m 47s | |
1m 47s | |
1m 35s | |
1m 54s | |
29m 14s |