Bump CI to GHC 9.10.1 #19
Job | Run time |
---|---|
2m 58s | |
2m 56s | |
2m 57s | |
2m 40s | |
2m 21s | |
2m 23s | |
2m 16s | |
2m 23s | |
2m 31s | |
2m 20s | |
2m 17s | |
2m 40s | |
30m 42s |
Job | Run time |
---|---|
2m 58s | |
2m 56s | |
2m 57s | |
2m 40s | |
2m 21s | |
2m 23s | |
2m 16s | |
2m 23s | |
2m 31s | |
2m 20s | |
2m 17s | |
2m 40s | |
30m 42s |