Skip to content

Conversation

@andreasabel
Copy link
Member

No description provided.

@andreasabel andreasabel added the CI Continuous integration label Sep 28, 2025
@andreasabel andreasabel merged commit bb29472 into master Sep 29, 2025
28 checks passed
@andreasabel andreasabel deleted the ghc-9.10.3 branch September 29, 2025 19:07
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.

2 participants