Skip to content

Run ghc-supported-extensions on CI#11970

Merged
mergify[bot] merged 1 commit into
masterfrom
run-ghc-supported-extensions-extensions-on-ci
Jun 18, 2026
Merged

Run ghc-supported-extensions on CI#11970
mergify[bot] merged 1 commit into
masterfrom
run-ghc-supported-extensions-extensions-on-ci

Commits

Commits on Jun 13, 2026