Merge branch 'maint'

bjorng · Nov 16, 2023 · 966fad5 · 966fad5
2 parents e2fc68a + 2cf75d7
commit 966fad5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/pr-comment.yaml b/.github/workflows/pr-comment.yaml
@@ -55,7 +55,7 @@ jobs:
     concurrency: erlang.github.io-deploy
     permissions:
       issues: write
-      checks: read
+      checks: write
     if: >-
           github.event.action == 'completed' &&
           needs.pr-number.outputs.result != '' &&