Diverse updates

JuliaConstraints · Mar 14, 2024 · a80d29c · a80d29c
1 parent 514ed6e
commit a80d29c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1,895 deletions.
diff --git a/.github/workflows/Documenter.yml b/.github/workflows/Documenter.yml
@@ -16,11 +16,12 @@ on:
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:
+  actions: write
   contents: write
   pages: write
   id-token: write
   statuses: write
-        
+
 # Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
 # However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
 concurrency:
@@ -45,7 +46,7 @@ jobs:
       - name: Pull Julia cache
         uses: julia-actions/cache@v1
       - name: Install documentation dependencies
-        run: julia --project=docs -e 'using Pkg; Pkg.instantiate(); Pkg.precompile(); Pkg.status()'
+        run: julia --project=docs -e 'using Pkg; Pkg.instantiate(); Pkg.update(); Pkg.precompile(); Pkg.status()'
         # run: julia --project=docs -e 'using Pkg; pkg"dev ."; Pkg.instantiate(); Pkg.precompile(); Pkg.status()'
       - name: Instantiate NPM
         run: cd docs/; npm i; cd ..