Skip to content

Bump CI to GHC-9.12.2#19

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

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

Commits

Commits on May 11, 2025