Skip to content

CI: Add GHC 9.14#276

Merged
sjakobi merged 1 commit intomasterfrom
ci-9.14
Apr 16, 2026
Merged

CI: Add GHC 9.14#276
sjakobi merged 1 commit intomasterfrom
ci-9.14

Conversation

@sjakobi
Copy link
Copy Markdown
Collaborator

@sjakobi sjakobi commented Feb 8, 2026

No description provided.

@sjakobi
Copy link
Copy Markdown
Collaborator Author

sjakobi commented Feb 8, 2026

@sjakobi sjakobi force-pushed the ci-9.14 branch 2 times, most recently from 9d770b1 to 8282802 Compare April 16, 2026 16:24
@sjakobi sjakobi merged commit 9eb415f into master Apr 16, 2026
17 of 18 checks passed
@sjakobi sjakobi deleted the ci-9.14 branch April 16, 2026 21:33
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