modified: .github/workflows/master-pr.yml

.github/workflows/master-pr.yml

@@ -1,4 +1,4 @@
-name: 'Test PR'
+name: 'Configure PR'
 on:
   pull_request:
     branches:
@@ -8,25 +8,26 @@ concurrency:
   cancel-in-progress: true
 
 jobs:
-
   change-base:
     name: 'Change base to develop branch'
     runs-on: ubuntu-24.04
+    permissions:
+      pull-requests: write
+      actions: write
+      contents: read
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4
         with:
-          token: ${{ secrets.JENKINS_GITHUB_PAT }}
-          # fetch-depth 0 means deep clone the repo
           fetch-depth: 0
       - name: 'Change base'
         env:
-          GITHUB_TOKEN: ${{ secrets.JENKINS_GITHUB_PAT }}
+          GITHUB_TOKEN: ${{ github.token }}
         run: |
           set -x
           pull_number=$(jq --raw-output .pull_request.number "${GITHUB_EVENT_PATH}")
           curl -X PATCH                                                               \
             -H "Accept: application/vnd.github+json"                                  \
             -H "Authorization: Bearer ${GITHUB_TOKEN}"                                \
             "https://api.github.com/repos/runtimeverification/k/pulls/${pull_number}" \
-            -d '{"base":"develop"}'
+            -d '{"base":"develop"}'

.github/workflows/test-pr.yml

@@ -1,7 +1,7 @@
 name: 'Test PR'
 on:
   pull_request:
-    types: [opened, edited, reopened, synchronize]
+    types: [opened, reopened, synchronize]
     branches:
       - 'develop'
 concurrency: