Fix workflow permissions.

reitermarkus · Jan 5, 2024 · 057ee2e · 057ee2e
1 parent 42e67be
commit 057ee2e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -8,6 +8,7 @@ on:
 
 permissions:
   contents: write
+  pull-requests: write
 
 jobs:
   build: