Add permissions stanza to build-docs.yml

cgay · Oct 14, 2023 · 0a076a1 · 0a076a1
1 parent 349cfab
commit 0a076a1
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml
@@ -9,10 +9,14 @@ on:
     # all branches
     paths:
       - 'documentation/**'
-      
+
   # This enables the Run Workflow button on the Actions tab.
   workflow_dispatch:
 
+# https://github.com/JamesIves/github-pages-deploy-action#readme
+permissions:
+    contents: write
+
 # Set DYLAN environment variable to GITHUB_WORKSPACE so packages are
 # installed in ../../_packages relative to documentation's Makefile
 env: