Bump CI to GHC 9.12 #146
Job | Run time |
---|---|
5m 50s | |
3m 55s | |
3m 45s | |
9m 36s | |
9m 36s | |
9m 36s | |
9m 17s | |
9m 17s | |
9m 17s | |
9m 46s | |
9m 46s | |
9m 46s | |
9m 45s | |
9m 45s | |
9m 45s | |
10m 3s | |
10m 3s | |
10m 3s | |
9m 57s | |
9m 57s | |
9m 57s | |
9m 39s | |
9m 39s | |
9m 39s | |
9m 37s | |
9m 37s | |
9m 37s | |
9m 51s | |
9m 51s | |
9m 51s | |
8m 38s | |
8m 38s | |
8m 38s | |
9m 5s | |
9m 5s | |
9m 5s | |
5h 29m 12s |