Merge pull request #170 from gelisam/support-ghc-9.8 #132
Job | Run time |
---|---|
10m 59s | |
4m 27s | |
10m 11s | |
10m 16s | |
10m 25s | |
10m 54s | |
11m 48s | |
11m 28s | |
1h 20m 28s |
Job | Run time |
---|---|
10m 59s | |
4m 27s | |
10m 11s | |
10m 16s | |
10m 25s | |
10m 54s | |
11m 48s | |
11m 28s | |
1h 20m 28s |