Skip to content

Bump CI to GHC 9.12.1#264

Merged
andreasabel merged 5 commits intomasterfrom ghc-9.12Dec 30, 2024