Minor update of Documenter workflow.

JuliaPlasma · Nov 23, 2020 · 46ba9b9 · 46ba9b9
1 parent cdeb2f0
commit 46ba9b9
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
@@ -15,11 +15,11 @@ jobs:
       - uses: julia-actions/setup-julia@latest
         with:
           version: 1.5
-      - name: set environment variables
+      - name: Set environment variables
         run: echo "PYTHON=''" >> $GITHUB_ENV
       - name: Install dependencies
-        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
+        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate(); Pkg.build(); Pkg.precompile();'
       - name: Build and deploy Documentation
+        run: julia --project=docs/ docs/make.jl
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        run: julia --project=docs/ docs/make.jl