Bump CI to GHC 9.10.0 #17
Job | Run time |
---|---|
4m 36s | |
4m 54s | |
4m 54s | |
4m 47s | |
4m 31s | |
4m 47s | |
4m 6s | |
4m 6s | |
4m 9s | |
4m 10s | |
4m 28s | |
4m 29s | |
53m 57s |
Job | Run time |
---|---|
4m 36s | |
4m 54s | |
4m 54s | |
4m 47s | |
4m 31s | |
4m 47s | |
4m 6s | |
4m 6s | |
4m 9s | |
4m 10s | |
4m 28s | |
4m 29s | |
53m 57s |