Closed alt-romes closed 2 weeks ago
I mean, after CI passes. :)
The other quick jobs are failing now. For the same reason, presumably. A more future-proof solution would be to make them all work with 9.10.
I pushed a version with the fix propagated to other quick jobs. It brings horrible duplication. At least, I created a variable for the version of GHC.
@mergify backport 3.12
backport 3.12
This should fix the CI quick jobs that have been failing recently due to a sudden update of the runner-provided GHC to 9.10. Could you please have a look @Mikolaj