Skip to content

Update GHC 9.12 and HEAD git pins#2289

Merged
hamishmack merged 8 commits intomasterfrom hkm/update-ghc-git-pinsDec 9, 2024

Commits

Commits on Dec 6, 2024

Commits on Dec 7, 2024

Commits on Dec 8, 2024

Commits on Dec 9, 2024