Skip to content

Update GHC in CI#27

Merged
wolfgangwalther merged 1 commit intomasterfrom
ci
Aug 17, 2025
Merged

Update GHC in CI#27
wolfgangwalther merged 1 commit intomasterfrom
ci

Commits

Commits on Aug 17, 2025