Set doc workflow concurrency and permissions (#4)

athackst · Aug 25, 2023 · 89152c9 · 89152c9
1 parent d21497c
commit 89152c9
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -8,6 +8,17 @@ on:
   repository_dispatch:
     types: [publish-docs]
 
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: write
+  pages: write
+  id-token: write
+
+# Allow one concurrent deployment
+concurrency:
+  group: "pages"
+  cancel-in-progress: false
+
 jobs:
   publish-docs:
     runs-on: ubuntu-latest