doc ci fix

JuliaFolds2 · Jan 31, 2024 · 862d431 · 862d431
1 parent a385ff0
commit 862d431
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -13,8 +13,16 @@ on:
       - 'docs/**'
       - 'src/**'
 
+concurrency:
+  # Skip intermediate builds: always.
+  # Cancel intermediate builds: always.
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   build:
+    permissions:
+      contents: write
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4

diff --git a/docs/build_docs.jl b/docs/build_docs.jl
@@ -1,3 +1,4 @@
+cd(@__DIR__)
 println("--- :julia: Instantiating project")
 using Pkg
 Pkg.activate("..")