Skip to content

CI: Fix failing build#2020

Closed
sgillespie wants to merge 1 commit intoIntersectMBO:masterfrom
sgillespie:fix/ghc98-no-partial
Closed

CI: Fix failing build#2020
sgillespie wants to merge 1 commit intoIntersectMBO:masterfrom
sgillespie:fix/ghc98-no-partial

Commits

Commits on Nov 10, 2025