Merge pull request #156 from andreasabel/ghc-9.10 #46
Job | Run time |
---|---|
1m 56s | |
2m 57s | |
2m 57s | |
2m 45s | |
2m 45s | |
2m 45s | |
2m 42s | |
2m 48s | |
2m 45s | |
2m 47s | |
3m 49s | |
3m 35s | |
2m 58s | |
37m 29s |
Job | Run time |
---|---|
1m 56s | |
2m 57s | |
2m 57s | |
2m 45s | |
2m 45s | |
2m 45s | |
2m 42s | |
2m 48s | |
2m 45s | |
2m 47s | |
3m 49s | |
3m 35s | |
2m 58s | |
37m 29s |