Docs: update build step

patrickm663 · Jan 22, 2024 · 7c5b5c3 · 7c5b5c3
1 parent 8056b7c
commit 7c5b5c3
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -21,6 +21,14 @@ jobs:
         with:
           version: '1.10'
       - name: Install dependencies, build, and deploy
+      - run: |
+          julia --project=docs -e '
+            using Pkg
+            Pkg.develop(PackageSpec(path=pwd()))
+            Pkg.instantiate()
+            Pkg.add("Documenter")'
+      - run: julia --project=docs docs/make.jl
         env:
-          GITHUB_TOKEN: ${{ secrets.ACCESS_TOKEN }}
-        run: cd docs/ && julia --project=. -e 'using Pkg; Pkg.instantiate()' && julia --project=. make.jl
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          # Needed due to https://github.com/JuliaDocs/Documenter.jl/issues/1177
+          DOCUMENTER_KEY: ${{ secrets.ACCESS_TOKEN }}