Skip to content

Bump CI to GHC 9.8.1#226

Merged
andreasabel merged 1 commit intomasterfrom ghc-9.8.1Oct 27, 2023

Commits

Commits on Oct 24, 2023