fix(plugin): wire production tool-call hooks #600
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: ooo-auto-perf-budget | |
| # Enforces RFC #1256 §I5: PRs touching `src/ouroboros/auto/` must include | |
| # an R-run comparison section in the PR body so silent per-round | |
| # wall-clock regressions (as observed in the PR-A/B/β/γ merge train, #1258) | |
| # cannot land without explicit per-round cost data. | |
| on: | |
| pull_request: | |
| branches: [main] | |
| # The check reads the PR body, so it must rerun whenever the body | |
| # can change. Default `pull_request` activity types only fire on | |
| # `opened`, `synchronize`, and `reopened` — they do NOT fire on | |
| # `edited`, which means a contributor could land a previously | |
| # passing PR by deleting the R-run section after a successful run. | |
| # Listing `edited` explicitly closes that bypass per the bot review. | |
| types: [opened, synchronize, reopened, edited] | |
| permissions: | |
| contents: read | |
| jobs: | |
| enforce-perf-budget: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v6 | |
| with: | |
| # Need full history so the script can diff against origin/main | |
| # to enumerate changed paths. | |
| fetch-depth: 0 | |
| - name: Set up Python | |
| uses: actions/setup-python@v6 | |
| with: | |
| python-version: "3.12" | |
| - name: Enforce R-run comparison section | |
| env: | |
| GITHUB_EVENT_PATH: ${{ github.event_path }} | |
| run: python3 scripts/check-auto-perf-budget.py |