ci: check out PR head commits in workflows

2026-11-10 21:00:47 +00:00 · 2026-05-08 14:51:15 -07:00
parent 2f3a2d7a86
commit 998a82daf0
8 changed files with 18 additions and 2 deletions
@@ -14,6 +14,7 @@ jobs:
      - name: Checkout repository
        uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
        with:
+          ref: ${{ github.event_name == 'pull_request' && github.event.pull_request.head.sha || github.sha }}
          persist-credentials: false

      - name: Verify codex-rs Cargo manifests inherit workspace settings