Adjusting permissions of Configure PR worfklow to have actions write …

…to trigger other workflows
runtimeverification · Nov 25, 2024 · f28be4a · f28be4a
1 parent f92e5c6
commit f28be4a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/master-pr.yml b/.github/workflows/master-pr.yml
@@ -13,6 +13,8 @@ jobs:
     runs-on: ubuntu-24.04
     permissions:
       pull-requests: write
+      actions: write
+      contents: read
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4