From 9e7258bb2ad2e6c28384cab1ecd0de4a1e2a0129 Mon Sep 17 00:00:00 2001
From: Michal Dorner <dorner.michal@gmail.com>
Date: Wed, 12 Oct 2022 22:02:50 +0200
Subject: [PATCH] Specify job permissions in the pull request workflow

---
 .github/workflows/pull-request-verification.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/pull-request-verification.yml b/.github/workflows/pull-request-verification.yml
index 8393dc1f..ac217434 100644
--- a/.github/workflows/pull-request-verification.yml
+++ b/.github/workflows/pull-request-verification.yml
@@ -17,6 +17,8 @@ jobs:
 
   test-inline:
     runs-on: ubuntu-latest
+    permissions:
+      pull-requests: read
     steps:
     - uses: actions/checkout@v3
     - uses: ./
@@ -36,6 +38,8 @@ jobs:
 
   test-external:
     runs-on: ubuntu-latest
+    permissions:
+      pull-requests: read
     steps:
     - uses: actions/checkout@v3
     - uses: ./