Merge pull request #49 from andreasabel/ghc-9.8 #17
Job | Run time |
---|---|
4m 52s | |
4m 21s | |
4m 15s | |
4m 8s | |
4m 18s | |
4m 20s | |
4m 26s | |
4m 31s | |
4m 8s | |
5m 18s | |
5m 7s | |
49m 44s |
Job | Run time |
---|---|
4m 52s | |
4m 21s | |
4m 15s | |
4m 8s | |
4m 18s | |
4m 20s | |
4m 26s | |
4m 31s | |
4m 8s | |
5m 18s | |
5m 7s | |
49m 44s |