Bump CI to GHC 9.10.1 (#93) #36
Job | Run time |
---|---|
3m 14s | |
3m 8s | |
3m 9s | |
2m 50s | |
2m 46s | |
2m 42s | |
2m 38s | |
2m 42s | |
2m 44s | |
2m 51s | |
3m 28s | |
3m 36s | |
35m 48s |
Job | Run time |
---|---|
3m 14s | |
3m 8s | |
3m 9s | |
2m 50s | |
2m 46s | |
2m 42s | |
2m 38s | |
2m 42s | |
2m 44s | |
2m 51s | |
3m 28s | |
3m 36s | |
35m 48s |