diff --git a/.github/workflows/Build.yml b/.github/workflows/Build.yml index 0ece8d4..424d119 100644 --- a/.github/workflows/Build.yml +++ b/.github/workflows/Build.yml @@ -24,6 +24,10 @@ jobs: version: '1' show-versioninfo: true - uses: julia-actions/cache@v2 - - uses: julia-actions/julia-docdeploy@v1 + - name: Instantiate julia environment + shell: julia --color=yes --project {0} + run: import Pkg; Pkg.instantiate() + - name: Build and deploy documentation + run: julia --color=yes --project make.jl env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} diff --git a/Project.toml b/Project.toml index 1814eb3..5fa0eea 100644 --- a/Project.toml +++ b/Project.toml @@ -3,3 +3,4 @@ Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" [compat] Documenter = "1" +