Might succeed?

runtimeverification · Oct 31, 2023 · d8c5570 · d8c5570
1 parent afe8392
commit d8c5570
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -18,6 +18,7 @@ jobs:
         id: checkout
         with:
           repository: runtimeverification/homebrew-k
+          token: ${{ secrets.JENKINS_GITHUB_PAT }}
           path: homebrew-k
           ref: staging
           persist-credentials: false
@@ -28,6 +29,7 @@ jobs:
         if: ${{ steps.checkout.outcome == 'failure' }}
         with:
           repository: runtimeverification/homebrew-k
+          token: ${{ secrets.JENKINS_GITHUB_PAT }}
           path: homebrew-k
           persist-credentials: false