Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Support ghc 9.12 #540

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Support ghc 9.12 #540

wants to merge 2 commits into from

Conversation

erikd
Copy link
Contributor

@erikd erikd commented Dec 4, 2024

No description provided.

@moodmosaic
Copy link
Member

@erikd, thank you! Let’s merge once CI is green.

@erikd
Copy link
Contributor Author

erikd commented Dec 4, 2024

@erikd, thank you! Let’s merge once CI is green.

We will need to wait for 9.12 to be available in the CI infrastructure.

@erikd erikd force-pushed the erikd/ghc-9.12 branch 2 times, most recently from 66e61dd to 8b7f404 Compare December 8, 2024 22:08
@erikd erikd force-pushed the erikd/ghc-9.12 branch 2 times, most recently from 736cc9f to 30e50bf Compare December 17, 2024 01:01
@moodmosaic
Copy link
Member

I think this will eventually succeed once 9.12 is available in the rest of the CI.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@erikd @moodmosaic