From 21a73990e1239e465ee46964d15e43ffff1c2fca Mon Sep 17 00:00:00 2001 From: Dominique Date: Thu, 10 Oct 2024 13:20:08 -0400 Subject: [PATCH] build docs with julia 1.10 see if julia 1.11 is the reason for push failures --- .github/workflows/Documentation.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml index 406f15e0..092de97c 100644 --- a/.github/workflows/Documentation.yml +++ b/.github/workflows/Documentation.yml @@ -13,7 +13,7 @@ jobs: - uses: actions/checkout@v3 - uses: julia-actions/setup-julia@latest with: - version: '1' + version: '1.10' - name: Install dependencies run: julia --project=docs --color=yes -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()' - name: Build and deploy