diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml index 65c42a74e..f5e5c2c75 100644 --- a/.github/workflows/publish_documentation.yml +++ b/.github/workflows/publish_documentation.yml @@ -10,6 +10,9 @@ on: - docs/examples/** workflow_dispatch: +permissions: + contents: read + # we don't want to have concurrent jobs, and we don't want to cancel running jobs to avoid broken publications concurrency: group: documentation