Merge branch 'maint'

erlang · Nov 10, 2023 · 928b323 · 928b323
2 parents e29a014 + 3c2359f
commit 928b323
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/pr-comment.yaml b/.github/workflows/pr-comment.yaml
@@ -55,6 +55,7 @@ jobs:
     concurrency: erlang.github.io-deploy
     permissions:
       issues: write
+      checks: read
     if: >-
           github.event.action == 'completed' &&
           needs.pr-number.outputs.result != '' &&