Merge branch 'main' into rg/GNKI-docs

CliMA · Dec 12, 2024 · e90c45d · e90c45d
2 parents 3ca1653 + 9697f26
commit e90c45d
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/Docs.yml b/.github/workflows/Docs.yml
@@ -7,6 +7,9 @@ on:
     tags: '*'
   pull_request:
 
+permissions:
+  contents: write
+
 jobs:
   docs-build:
     runs-on: ubuntu-latest
@@ -17,7 +20,7 @@ jobs:
         with:
           access_token: ${{ github.token }}
       - uses: actions/checkout@v4
-      - uses: julia-actions/setup-julia@v1
+      - uses: julia-actions/setup-julia@v2
         with:
           version: '1'
           show-versioninfo: 'true'