CI fix (GitHub Actions)

Goal

• Get CI green quickly with minimal, reviewable diffs.
• Use gh to locate failing runs, inspect logs/artifacts, rerun jobs, and confirm the fix.

Inputs to ask for (if missing)

• Repo (OWNER/REPO) and whether this is a PR or branch build.
• Failing run URL/ID (or PR number / branch name).
• What "green" means (required workflows? allowed flaky reruns?).
• Any constraints (no workflow edits, no permission changes, no force-push, etc.).