Hotfix/push release with pat (#2574)

* Force new Release with new process * Revert "Force new Release with new process" This reverts commit d12d7be. * checkout code with a PAT and push to trigger release builds
runtimeverification · Aug 10, 2024 · a29f783 · a29f783
1 parent 25de575
commit a29f783
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml
@@ -18,6 +18,7 @@ jobs:
           # fetch-depth 0 means deep clone the repo
           fetch-depth: 0
           ref: ${{ github.event.pull_request.head.sha }}
+          token: ${{ secrets.JENKINS_GITHUB_PAT}}
       - name: 'Configure GitHub user'
         run: |
           git config user.name rv-jenkins