Set permissions to push github page.

DUNE · Nov 23, 2023 · 0e4f973 · 0e4f973
1 parent ff86737
commit 0e4f973
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -6,6 +6,12 @@ on:
   pull_request:
     branches: [ "master" ]
 
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
 jobs:
   build:
     name: Build default geometry