Skip to content

Bump CI to GHC 9.12.0#29

Merged
andreasabel merged 1 commit intomasterfrom
ghc-9.10.1
Oct 27, 2024
Merged

Bump CI to GHC 9.12.0#29
andreasabel merged 1 commit intomasterfrom
ghc-9.10.1

Commits

Commits on Oct 27, 2024