From 31840f9640b114d0a0ab9a5466e5e6e072b97aa4 Mon Sep 17 00:00:00 2001 From: t-bltg Date: Sun, 13 Oct 2024 21:06:39 +0200 Subject: [PATCH] Update ci_build.sh --- docs/ci_build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/ci_build.sh b/docs/ci_build.sh index d12fa6002..cce35d060 100644 --- a/docs/ci_build.sh +++ b/docs/ci_build.sh @@ -79,7 +79,7 @@ echo "== build documentation for $GITHUB_REPOSITORY@$GITHUB_REF, triggered by $G $julia <<'EOF' using Pkg -rev = split(ENV["GITHUB_REF"], "/", limit=3)[3]) +rev = split(ENV["GITHUB_REF"], "/", limit=3)[3] println("rev=$rev") Pkg.develop([ @@ -90,7 +90,7 @@ Pkg.develop([ (; path="./GraphRecipes"), (; path="./StatsPlots"), ]) -Pkg.add(PackageSpec(; name="Plots", rev) +Pkg.add(PackageSpec(; name="Plots", rev)) Pkg.instantiate() EOF