fix(session-flow): add compute-don't-assert rule to running-retro analysis prompts #2718
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: pr-issue-linkage | |
| # Validates the PR body carries a native closing keyword (Closes/Fixes/Resolves | |
| # #N, including owner/repo#N, or the literal "No linked issue" when the PR closes | |
| # nothing) and a non-empty `## Related` section, via the shared | |
| # pr-issue-linkage reusable from ci-workflows. `pull_request_target` runs the | |
| # base-branch definition, so a head-branch edit cannot bypass the gate — safe | |
| # here because the reusable reads PR body metadata from the event payload only | |
| # and runs no head code. `edited` re-validates on a body edit. `merge_group` | |
| # reports the check green in the queue (the body was validated at PR time; inert | |
| # without a queue). The emitted required-check context is | |
| # `pr-issue-linkage / pr-issue-linkage`. Public repo: runs on the reusable's | |
| # hosted default runner. | |
| on: | |
| # zizmor: ignore[dangerous-triggers] metadata-only gate; rationale in the header comment | |
| pull_request_target: | |
| types: [opened, edited, reopened, synchronize] | |
| merge_group: | |
| permissions: {} | |
| # pull_request_target runs the base-branch definition, so github.ref is the base | |
| # branch: the PR number scopes cancellation and github.ref covers merge_group | |
| # (which carries no pull_request object); the fallback is inert without a queue. | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| pr-issue-linkage: | |
| permissions: {} | |
| uses: melodic-software/ci-workflows/.github/workflows/pr-issue-linkage.yml@d7734df8c557084edc2df7cf578cf62ad2f261e4 # d7734df 2026-07-20 | |
| with: | |
| runner: ubuntu-24.04 | |
| # dependabot PR bodies cannot carry the closing-keyword + `## Related` | |
| # markers this gate requires; exempt the login so its PRs are mergeable. | |
| exempt-authors: 'dependabot[bot]' |