Skip to content

GHC-8.6.5+ and proper GHC-9.10.1 on CI#188

Merged
phadej merged 1 commit intomasterfrom ghc-9.10-properMay 12, 2024

Commits

Commits on May 12, 2024