-
Notifications
You must be signed in to change notification settings - Fork 691
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Re-enable Windows CI (backport #10282) #10308
Conversation
Cherry-pick of 4aade2d has failed:
To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally |
c0be59e
to
fd5bb3e
Compare
fd5bb3e
to
bbfbb81
Compare
Worth noting: |
(cherry picked from commit 4aade2d)
bbfbb81
to
f90d059
Compare
So now we can't commit the Windows CI fixes to 3.12 because of the Hackage roundtrip tests, and we can't commit the Hackage roundtrip tests workaround to 3.12 because it needs the Windows CI fixes. |
Cherry-picked into the Hackage round-trip backport. |
Sorry, per above this needs to stay closed and I need to cherrypick the other Windows fixes. |
This PR disables the 9.0.2 validate job for Windows and provides
--io-manager=native
for every other GHC. See #9571 for the reasons.This is an automatic backport of pull request #10282 done by [Mergify](https://mergify.com).