Skip to content

Conversation

phadej
Copy link
Collaborator

@phadej phadej commented Aug 2, 2025

Closes #153
Closes #152
Closes #150

@phadej phadej force-pushed the ghc-9.12 branch 4 times, most recently from 7b362d3 to bd90740 Compare August 2, 2025 18:19
@phadej phadej merged commit 3fe64dc into master Aug 2, 2025
18 checks passed
@phadej phadej deleted the ghc-9.12 branch August 2, 2025 19:03
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.

Allow GHC 9.12 Allow inspection-testing 0.6
1 participant