Skip to content

Commit

Permalink
Update ci_build.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
t-bltg authored Oct 13, 2024
1 parent 861f892 commit 31840f9
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions docs/ci_build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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([
Expand All @@ -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
Expand Down

0 comments on commit 31840f9

Please sign in to comment.