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 46c6361 commit 379b5b2
Showing 1 changed file with 7 additions and 3 deletions.
10 changes: 7 additions & 3 deletions docs/ci_build.sh
Original file line number Diff line number Diff line change
Expand Up @@ -76,12 +76,16 @@ $julia -e '
'

echo "== build documentation for $GITHUB_REPOSITORY@$GITHUB_REF, triggered by $GITHUB_ACTOR on $GITHUB_EVENT_NAME =="
$julia -e 'using Pkg; Pkg.develop([
$julia <<EOF
using Pkg
Pkg.develop([
(; path="./RecipesBase"),
(; path="./RecipesPipeline"),
(; path="./PlotsBase"),
(; path="./GraphRecipes"),
(; path="./StatsPlots"),
)'
$julia -e 'using Pkg; Pkg.add(PackageSpec(name="Plots", rev=split(ENV["GITHUB_REF"], "/", limit=3)[3])); Pkg.instantiate()'
])
Pkg.add(PackageSpec(name="Plots", rev=split(ENV["GITHUB_REF"], "/", limit=3)[3]))
Pkg.instantiate()
EOF
$julia docs/make.jl

0 comments on commit 379b5b2

Please sign in to comment.