Bump CI to GHC 9.10.1 #387
Job | Run time |
---|---|
7m 56s | |
8m 9s | |
8m 50s | |
8m 42s | |
8m 27s | |
8m 50s | |
8m 53s | |
8m 27s | |
8m 48s | |
8m 32s | |
9m 53s | |
5m 21s | |
1h 40m 48s |
Job | Run time |
---|---|
7m 56s | |
8m 9s | |
8m 50s | |
8m 42s | |
8m 27s | |
8m 50s | |
8m 53s | |
8m 27s | |
8m 48s | |
8m 32s | |
9m 53s | |
5m 21s | |
1h 40m 48s |