Skip to content

Use GHC-9.10.1 on CI#298

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

Use GHC-9.10.1 on CI#298
phadej merged 1 commit intomasterfrom
ghc-9.10-proper

Commits

Commits on May 12, 2024