diff --git a/.github/workflows/master-pr.yml b/.github/workflows/master-pr.yml
index 2dda01b9e3..4a6d283c8e 100644
--- a/.github/workflows/master-pr.yml
+++ b/.github/workflows/master-pr.yml
@@ -1,4 +1,4 @@
-name: 'Test PR'
+name: 'Configure PR'
 on:
   pull_request:
     branches:
@@ -8,20 +8,21 @@ 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}")
@@ -29,4 +30,4 @@ jobs:
             -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"}'
\ No newline at end of file
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index 3e4c05270f..97a442412b 100644
--- a/.github/workflows/test-pr.yml
+++ b/.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: