Skip to content

Bump CI to GHC 9.12.2#16

Merged
andreasabel merged 1 commit intomasterfrom
ghc-9.12.2
May 11, 2025
Merged

Bump CI to GHC 9.12.2#16
andreasabel merged 1 commit intomasterfrom
ghc-9.12.2

Commits

Commits on May 11, 2025