Bump CI to GHC 9.12.1 #213
Job | Run time |
---|---|
3m 46s | |
3m 16s | |
3m 6s | |
3m 2s | |
3m 2s | |
2m 48s | |
2m 41s | |
2m 40s | |
2m 44s | |
3m 0s | |
2m 50s | |
2m 45s | |
3m 19s | |
38m 59s |
Job | Run time |
---|---|
3m 46s | |
3m 16s | |
3m 6s | |
3m 2s | |
3m 2s | |
2m 48s | |
2m 41s | |
2m 40s | |
2m 44s | |
3m 0s | |
2m 50s | |
2m 45s | |
3m 19s | |
38m 59s |