Add skip-performance-check label to bypass evaluation in PRs and merge queue

[Copilot]

Adds support for a skip-performance-check label that allows PRs to bypass performance evaluation as a merge criterion, preventing legitimate changes (docs, expected regressions, etc.) from being blocked.

Implementation

• Pull request events: Check github.event.pull_request.labels directly via toJSON() + jq parsing
• Merge group events: Extract PR number from head_ref using regex (pr-([0-9]+)-), fetch labels via gh pr view --repo
• Conditional execution: Evaluation step runs with if: steps.check-label.outputs.skip_eval != 'true'
• Permissions: Added pull-requests: read to workflow

Workflow logic

- name: Check for skip-performance-check label
  run: |
    if [ "${{ github.event_name }}" == "pull_request" ]; then
      LABELS='${{ toJSON(github.event.pull_request.labels) }}'
      echo "$LABELS" | jq -r '.[].name' | grep -q "skip-performance-check" && SKIP_EVAL="true"
    elif [ "${{ github.event_name }}" == "merge_group" ]; then
      [[ "${{ github.event.merge_group.head_ref }}" =~ pr-([0-9]+)- ]] && PR_NUMBER="${BASH_REMATCH[1]}"
      gh pr view "$PR_NUMBER" --repo ${{ github.repository }} --json labels | grep -q "skip-performance-check" && SKIP_EVAL="true"
    fi

When label is present, evaluation step is skipped and job succeeds, allowing merge regardless of performance.

Original prompt

---

This section details on the original issue you should resolve

<issue_title>Add PR label to allow ignoring the result of evaluation as merge criterium</issue_title>
<issue_description>As above.
Make sure it works with merge queueing / merge_group.</issue_description>

Comments on the Issue (you are @copilot in this section)

• Fixes Add PR label to allow ignoring the result of evaluation as merge criterium #16

---

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.