Skip to content

Make CI work again (GHC 8.0 - 9.12)#67

Merged
dterei merged 9 commits intomasterfrom
ci-9.12
Jul 26, 2025
Merged

Make CI work again (GHC 8.0 - 9.12)#67
dterei merged 9 commits intomasterfrom
ci-9.12

Commits

Commits on Jul 26, 2025