diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index 2327c18..65f3655 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -7,6 +7,7 @@ on: permissions: contents: write pages: write + pull-requests: write jobs: doc-generated-check: name: Check documentation has been generated