Skip to content

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
Merged

Fix GitHub Actions workflow: update branch to main and GHC to 9.12.2#2
prb merged 1 commit into
mainfrom
claude/fix-workflow-011CUze3o7w6pDJcA8GWncVG

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

6dfa401
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error

The logs for this run have expired and are no longer available.