From f28be4ab2f69f2c690b17327eec255a4b4535b9a Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Mon, 25 Nov 2024 13:18:59 -0700
Subject: [PATCH] Adjusting permissions of Configure PR worfklow to have
 actions write to trigger other workflows

---
 .github/workflows/master-pr.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/master-pr.yml b/.github/workflows/master-pr.yml
index 2467877c17..ff3823ace9 100644
--- 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