Repository navigation

Fix GitHub Actions workflow: update branch to main and GHC to 9.12.2 - #2

Merged

prb merged 1 commit into

mainfrom

claude/fix-workflow-011CUze3o7w6pDJcA8GWncVG

Nov 10, 2025

Commits on Nov 10, 2025
- Fix GitHub Actions workflow: update branch to main and GHC to 9.12.2
  claude
  committed
  6dfa401