Skip to content

Bump CI to GHC 9.10.1#482

Merged
andreasabel merged 2 commits intomasterfrom
ghc-9.10.1
Jul 1, 2024
Merged

Bump CI to GHC 9.10.1#482
andreasabel merged 2 commits intomasterfrom
ghc-9.10.1

Conversation

@andreasabel
Copy link
Member

@andreasabel andreasabel commented May 17, 2024

@andreasabel andreasabel added the CI Continuous integration label May 19, 2024
@andreasabel andreasabel linked an issue May 30, 2024 that may be closed by this pull request
3 tasks
@andreasabel andreasabel merged commit f2db6f8 into master Jul 1, 2024
@andreasabel andreasabel deleted the ghc-9.10.1 branch January 25, 2026 22:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Continuous integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

GHC 9.10

1 participant