Repository navigation
ci: add manual gate-close workflow for missed PRs - #1283
Conversation
The PR Gate only fires on `pull_request_target` `opened`, so PRs that were opened while the gate was misconfigured (e.g. #1281) cannot be retroactively auto-closed. Add a `workflow_dispatch` workflow that closes a given PR number with the same contribution-gate message, attributed to github-actions[bot] like the gate itself.
|
This run was cancelled 🛑 The workflow was cancelled before completion. Please check the link below for details. |
|
Caution Review failedThe pull request is closed. ℹ️ Recent review info⚙️ Run configurationConfiguration used: defaults Review profile: CHILL Plan: Pro Plus Run ID: 📒 Files selected for processing (1)
📝 WalkthroughWalkthroughThis pull request introduces a new GitHub Actions workflow that enables manual closure of pull requests with an automated gating message. The workflow accepts a PR number as input, posts a contribution-gate comment referencing the repository's default branch, and closes the PR through the GitHub REST API. ChangesGate Close PR Workflow
Estimated code review effort🎯 2 (Simple) | ⏱️ ~8 minutes Poem
✨ Finishing Touches🧪 Generate unit tests (beta)
Comment |
ccusage performance comparisonPR SHA: This compares the PR package against the configured base package on the same CI runner. Package runner startupExecution setup measures any pre-benchmark package materialization used by the execution benchmark. Bunx temp cache measures one
Cached bunx execution performanceRuns the same large fixture through Fixtures: Claude
Package runtime diagnosticsCompares the PR package wrapper, the installed native optional dependency binary, and the workspace release binary on the same large fixture. This identifies whether slow package results come from JavaScript wrapper overhead, the published native binary build, or the Rust core itself. Fixtures: Claude
Committed fixture performanceCommitted small fixtures for stable PR-to-PR feedback and explicit Claude/Codex command coverage. Fixtures: Claude
Large real-world-shaped fixture performanceGenerated fixtures shaped from aggregate local log statistics: thousands of JSONL files, many small sessions, and a long tail of larger sessions. No real prompts, paths, or outputs are stored in the fixtures. Fixtures: Claude
Artifact size
Lower medians and smaller artifacts are better. CI runner noise still applies; use same-run ratios as directional PR feedback, not release guarantees. |
ccusage performance comparisonPR SHA: This compares the Rust PR release binary against the configured base package on the same CI runner. Package runner startupExecution setup measures any pre-benchmark package materialization used by the execution benchmark. Bunx temp cache measures one
Cached bunx execution performanceRuns the same large fixture through Fixtures: Claude
Package runtime diagnosticsCompares the PR package wrapper, the installed native optional dependency binary, and the workspace release binary on the same large fixture. This identifies whether slow package results come from JavaScript wrapper overhead, the published native binary build, or the Rust core itself. Fixtures: Claude
Committed fixture performanceCommitted small fixtures for stable PR-to-PR feedback and explicit Claude/Codex command coverage. Fixtures: Claude
Large real-world-shaped fixture performanceGenerated fixtures shaped from aggregate local log statistics: thousands of JSONL files, many small sessions, and a long tail of larger sessions. No real prompts, paths, or outputs are stored in the fixtures. Fixtures: Claude
Artifact size
Lower medians and smaller artifacts are better. CI runner noise still applies; use same-run ratios as directional PR feedback, not release guarantees. |
1 participant
What
Add a
workflow_dispatchworkflow that closes a given PR number with the same message the PR Gate posts, attributed togithub-actions[bot].Why
The PR Gate only fires on
pull_request_targetopened. PRs opened while the gate was misconfigured (e.g. #1281) cannot be retroactively auto-closed, and closing them from a localghwould be attributed to a maintainer rather than the bot. This workflow lets a maintainer dispatch a bot-attributed close for any PR the gate missed.Safety
Same posture as the PR Gate: no
actions/checkout, only GitHub API calls viagithub-script, scoped token permissions (issues: write,pull-requests: write). The PR number comes from a trustedworkflow_dispatchinput.Need help on this PR? Tag
/codesmithwith what you need. Autofix is enabled.Summary by cubic
Adds a manual workflow to close PRs the gate missed, attributed to
github-actions[bot]. Lets maintainers retro-close PRs opened while the gate was misconfigured..github/workflows/gate-close-pr.yaml; runs onworkflow_dispatchwith inputpr_number.actions/github-script@v9; no checkout; scoped permissions (issues: write,pull-requests: write).Written for commit 5bbe8b5. Summary will update on new commits.
Summary by CodeRabbit