From 3a0a876bb31a6123a497759e0fec20d8e9bfd1fd Mon Sep 17 00:00:00 2001
From: Lars Eggert <lars@eggert.org>
Date: Mon, 11 Mar 2024 09:23:46 +0200
Subject: [PATCH] permissions

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

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index c0c40eb1e3..3e7e61cb1c 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -162,6 +162,8 @@ jobs:
     name: "Post results to PR"
     needs: [bench]
     runs-on: ubuntu-latest
+    permissions:
+      pull-requests: write
     steps:
     - uses: thollander/actions-comment-pull-request@v2
       with: