Skip to content

Bump CI to GHC 9.12.1#264

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

Bump CI to GHC 9.12.1#264
andreasabel merged 5 commits intomasterfrom
ghc-9.12