Skip to content

32bit-ci: pin GHC to 9.6.7#597

Merged
sjakobi merged 1 commit into
masterfrom
pin-32bit-ghc
Jun 25, 2026
Merged

32bit-ci: pin GHC to 9.6.7#597
sjakobi merged 1 commit into
masterfrom
pin-32bit-ghc

Commits

Commits on Jun 25, 2026