From bcacc83dd3d8cbbc4dc29bb7463fe9bb611f6997 Mon Sep 17 00:00:00 2001 From: Mitja Devetak Date: Mon, 22 Jan 2024 17:38:26 +0100 Subject: [PATCH] website --- .github/workflows/deploy_docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml index ccd0213..4f28ee2 100644 --- a/.github/workflows/deploy_docs.yml +++ b/.github/workflows/deploy_docs.yml @@ -16,7 +16,7 @@ jobs: version: '1.10' # Set the Julia version as required - name: Install dependencies run: | - julia --project=docs/ -e 'using Pkg; Pkg.add("Documenter"); Pkg.instantiate()' + julia --project=docs/ -e 'using Pkg; Pkg.develop(path=pwd()); Pkg.add("Documenter"); Pkg.instantiate()' - name: Build and deploy env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}