Merge pull request #113 from TeofilC/wip/ghc-9.12 #110
Job | Run time |
---|---|
5m 8s | |
4m 42s | |
4m 24s | |
4m 45s | |
4m 33s | |
4m 20s | |
4m 31s | |
3m 47s | |
3m 43s | |
3m 59s | |
3m 42s | |
3m 57s | |
6m 16s | |
57m 47s |
Job | Run time |
---|---|
5m 8s | |
4m 42s | |
4m 24s | |
4m 45s | |
4m 33s | |
4m 20s | |
4m 31s | |
3m 47s | |
3m 43s | |
3m 59s | |
3m 42s | |
3m 57s | |
6m 16s | |
57m 47s |