Skip to content

Bump CI for GHC 9.6.3#109

Merged
mpilgrem merged 1 commit intomasterfrom ci-bumpSep 27, 2023

Commits

Commits on Sep 27, 2023