chore(bench): delete host calibration; fixed host, raw numbers, verifiable #608
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: Changeset reminder | |
| # Nudges a PR that changes packages/* source but forgot `pnpm changeset`, so the | |
| # change isn't silently dropped from the next release's version bump + notes. | |
| # | |
| # Uses pull_request_target so the comment also posts on fork PRs (the default | |
| # GITHUB_TOKEN only gets pull-requests: write on forks via this event). SAFE: | |
| # checkout takes the trusted base branch (never the PR head), and the only thing | |
| # that runs is our own script, which reads the PR's file LIST through the API and | |
| # comments — no untrusted PR code is ever checked out or executed. | |
| on: | |
| pull_request_target: | |
| branches: [master, dev, next] | |
| types: [opened, synchronize, reopened] | |
| permissions: | |
| pull-requests: write | |
| concurrency: | |
| group: changeset-reminder-${{ github.event.pull_request.number }} | |
| cancel-in-progress: true | |
| jobs: | |
| remind: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v6 # PR base branch (master/dev/next) — trusted, NOT the PR head | |
| - name: Changeset reminder | |
| env: | |
| GH_TOKEN: ${{ github.token }} | |
| REPO: ${{ github.repository }} | |
| PR: ${{ github.event.pull_request.number }} | |
| run: node scripts/changeset-reminder.js |