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.

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

ci: update to ghc 9.6.5 #413

Closed
wants to merge 1 commit into from
Closed

ci: update to ghc 9.6.5 #413

wants to merge 1 commit into from

Conversation

thebendavis
Copy link
Member

@thebendavis thebendavis commented Jun 21, 2024

No description provided.

@thebendavis
Copy link
Member Author

Updating to GHC 9.6.5 didn't help with #414 (the GHC errors reported there were a docker/virtualization issue on arm64 rather than an actual GHC issue); and GHC 9.6.5 has been superseded by 9.6.6. now anyway. I'm closing this PR, we can revisit bumping GHC later.

@thebendavis thebendavis deleted the bd/ghc-9.6.5 branch July 29, 2024 13:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant