Skip to content

Bump CI for GHC 9.6.5 and other matters#136

Merged
mpilgrem merged 1 commit intomasterfrom ciMay 6, 2024

Commits