fix(tests): resolve the prod binary from CBM_TEST_BINARY, not a hardcoded build/c #46
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 acknowledgement | |
| # Posts one acknowledgement comment when a pull request is opened, so a | |
| # contributor learns the current review status immediately instead of inferring | |
| # it from silence. | |
| # | |
| # The message text lives in `.github/pr-acknowledgement.md`. Edit that file to | |
| # change what is said; blank it (or delete it) to turn acknowledgements off | |
| # without touching this workflow. No code change is needed to switch it. | |
| # | |
| # SECURITY — this uses `pull_request_target`, which runs against the BASE repo | |
| # with a token that can write. That is required: a `pull_request` trigger gives | |
| # fork PRs a read-only token, so commenting on exactly the contributions we most | |
| # want to acknowledge would fail. | |
| # | |
| # The safety rule that makes it sound: this job NEVER checks out, builds, or | |
| # executes pull-request code. `actions/checkout` here resolves to the base | |
| # commit (the default under `pull_request_target`), and it is used only to read | |
| # the message file out of our own tree. Do not add a `ref:` pointing at the PR | |
| # head, and do not add a build step. Nothing from the PR is interpolated into a | |
| # shell command either — the body comes from a file, and the PR number is passed | |
| # through the environment rather than expanded inline. | |
| on: | |
| pull_request_target: | |
| types: [opened] | |
| permissions: | |
| contents: read | |
| jobs: | |
| acknowledge: | |
| runs-on: ubuntu-latest | |
| # Bots do not read comments, and acknowledging our own PRs is noise. | |
| if: >- | |
| github.event.pull_request.user.type != 'Bot' && | |
| github.event.pull_request.author_association != 'OWNER' | |
| permissions: | |
| pull-requests: write | |
| steps: | |
| - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 | |
| with: | |
| # Base commit only — never the PR head. See the security note above. | |
| persist-credentials: false | |
| - name: Post acknowledgement | |
| env: | |
| GH_TOKEN: ${{ github.token }} | |
| PR_NUMBER: ${{ github.event.pull_request.number }} | |
| REPO: ${{ github.repository }} | |
| run: | | |
| set -euo pipefail | |
| MESSAGE_FILE=.github/pr-acknowledgement.md | |
| if [ ! -f "$MESSAGE_FILE" ]; then | |
| echo "No $MESSAGE_FILE in the base tree — acknowledgements are off." | |
| exit 0 | |
| fi | |
| # An empty or whitespace-only file is the documented off switch. | |
| if [ -z "$(tr -d '[:space:]' < "$MESSAGE_FILE")" ]; then | |
| echo "$MESSAGE_FILE is blank — acknowledgements are off." | |
| exit 0 | |
| fi | |
| gh pr comment "$PR_NUMBER" --repo "$REPO" --body-file "$MESSAGE_FILE" | |
| echo "Acknowledged PR #${PR_NUMBER}." |