Merge pull request #79 from tweag/cb/ghc-9.6.2 #317
Job | Run time |
---|---|
13m 57s | |
15m 49s | |
25m 45s | |
26m 36s | |
17m 18s | |
5m 28s | |
6m 14s | |
6m 47s | |
16s | |
1h 58m 10s |
Job | Run time |
---|---|
13m 57s | |
15m 49s | |
25m 45s | |
26m 36s | |
17m 18s | |
5m 28s | |
6m 14s | |
6m 47s | |
16s | |
1h 58m 10s |