fix(workflows): improve status table columns

[MarkusNeusinger]

Summary

• Fix score regex to match 'Claude | XX/100' format from AI reviews
• Fix PR search to find PRs by library name in auto/ branches
• Count attempts from sub-issue comments instead of labels

Testing

Trigger sync by updating a sub-issue label

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

[Copilot]

Pull request overview

This PR updates the bot-sync-status workflow to improve how it extracts and displays implementation status for different plotting libraries. The changes align the status table logic with the actual formats used by AI review comments and attempt tracking, fixing mismatches that were preventing accurate status reporting.

Key Changes:

• Updated score extraction regex to match the AI review table format (Claude | XX/100)
• Changed PR lookup from title-based search to branch name filtering for auto/ branches
• Switched attempts counting from label-based to comment-based tracking

---

You can also share your feedback on Copilot code review for a chance to win a $100 gift card. Take the survey.

[Copilot]

The --head flag expects an exact branch name match, not a prefix. Using --head "auto/" will only match a PR with the branch name exactly "auto/", not branches starting with "auto/".

Since the branch format is auto/{spec-id}/{library}, this query will not find any PRs. The --head parameter should be removed to allow the jq filter to work correctly:

PR_NUM=$(gh pr list --search "$LIB" \
  --json number,headRefName -q '.[] | select(.headRefName | startswith("auto/") and contains("'"$LIB"'")) | .number' 2>/dev/null | head -1 || echo "")

Alternatively, if you want to search only in open PRs with auto/ branches, you could use:

PR_NUM=$(gh pr list --json number,headRefName \
  -q '.[] | select(.headRefName | startswith("auto/") and contains("'"$LIB"'")) | .number' 2>/dev/null | head -1 || echo "")

Suggested change

	PR_NUM=$(gh pr list --head "auto/" --search "$LIB" \
	--json number,headRefName -q '.[] | select(.headRefName | contains("'"$LIB"'")) | .number' 2>/dev/null | head -1 || echo "")
	PR_NUM=$(gh pr list --search "$LIB" \
	--json number,headRefName -q '.[] | select(.headRefName | startswith("auto/") and contains("'"$LIB"'")) | .number' 2>/dev/null | head -1 || echo "")