From 59995dd5d2fc1c37b2170f883ed569f178b754d1 Mon Sep 17 00:00:00 2001 From: abhro <5664668+abhro@users.noreply.github.com> Date: Thu, 28 May 2026 10:47:01 -0400 Subject: [PATCH] Move Registry setup to different step in Documentation.yml --- .github/workflows/Documentation.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml index 59c0c67e7..a93b1ba9d 100644 --- a/.github/workflows/Documentation.yml +++ b/.github/workflows/Documentation.yml @@ -24,12 +24,16 @@ jobs: - uses: julia-actions/setup-julia@v3 with: version: "1" + - name: Set up Julia registries + shell: julia --color=yes --project=docs {0} + run: using Pkg; Pkg.Registry.rm("General"); Pkg.Registry.add() + env: + JULIA_PKG_SERVER: '' - name: Set up environment shell: julia --color=yes --project=docs {0} run: | println("--- Instantiating project") using Pkg - Pkg.develop(PackageSpec(path=pwd())) Pkg.instantiate() println("--- Adding OrdinaryDiffEq from master") Pkg.develop("OrdinaryDiffEq")