Merge remote-tracking branch 'origin/ghc-9.12' #21
Job | Run time |
---|---|
5m 0s | |
6m 37s | |
6m 42s | |
6m 20s | |
6m 21s | |
6m 7s | |
5m 51s | |
5m 35s | |
5m 39s | |
5m 25s | |
3m 54s | |
1h 3m 31s |
Job | Run time |
---|---|
5m 0s | |
6m 37s | |
6m 42s | |
6m 20s | |
6m 21s | |
6m 7s | |
5m 51s | |
5m 35s | |
5m 39s | |
5m 25s | |
3m 54s | |
1h 3m 31s |