no token at checkout (no need, and not supplied by the CI gods)

runtimeverification · Nov 13, 2024 · 4caa73b · 4caa73b
1 parent ff95f6a
commit 4caa73b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -21,7 +21,8 @@ jobs:
       - name: 'Check out code'
         uses: actions/checkout@v4
         with:
-          token: ${{ secrets.JENKINS_GITHUB_PAT }}
+          # Check out pull request HEAD instead of merge commit.
+          ref: ${{ github.event.pull_request.head.sha }}
           submodules: recursive
 
       - name: "Set up nightly Rust" # https://github.com/rust-lang/rustup/issues/3409