Bump CI to GHC 9.10.1 #230
Job | Run time |
---|---|
1m 39s | |
3m 18s | |
3m 16s | |
3m 0s | |
2m 42s | |
2m 53s | |
2m 48s | |
2m 50s | |
2m 48s | |
2m 34s | |
3m 41s | |
5m 7s | |
36m 36s |
Job | Run time |
---|---|
1m 39s | |
3m 18s | |
3m 16s | |
3m 0s | |
2m 42s | |
2m 53s | |
2m 48s | |
2m 50s | |
2m 48s | |
2m 34s | |
3m 41s | |
5m 7s | |
36m 36s |