Fix CI

Use this workflow to repair failing GitHub CI from evidence, not guesses. Treat "MR" and "PR" as the same GitHub pull request unless the repository uses another hosting provider.

Preconditions

Require a git repository with a GitHub remote, gh installed and authenticated, and a branch associated with a pull request. If no PR is specified, resolve the current branch's PR first:

gh pr view --json number,url,headRefName,baseRefName,state,statusCheckRollup

If gh is missing or unauthenticated, stop and report the exact blocker.

Workflow

1. Collect CI Evidence

Do not edit files yet. Fetch the PR and workflow state: