File tree Expand file tree Collapse file tree 2 files changed +1
-4
lines changed
Expand file tree Collapse file tree 2 files changed +1
-4
lines changed Original file line number Diff line number Diff line change 2323 julia --color=yes --project=. -e 'using Pkg; Pkg.instantiate()'
2424 - name : Build and deploy
2525 run : |
26- git clone https://github.com/lorenzoh/publish-theme theme
27- rm -rf theme/.git
2826 cd gh-pages
2927 julia --color=yes --project=../docs -e "using Pkg; Pkg.instantiate()"
3028 julia --color=yes --project=../docs -e 'using Pkg; Pkg.develop(path="..")'
31- wget "https://raw.githubusercontent.com/darsnack/flux-theme/main/Artifacts.toml"
3229 julia --color=yes --project=../docs ../docs/make.jl
3330 git config user.name github-actions
3431 git config user.email github-actions@github.com
Original file line number Diff line number Diff line change @@ -28,7 +28,7 @@ Parameters = "0.12"
2828Rotations = " 1.0"
2929Setfield = " 0.7"
3030StaticArrays = " 1.0"
31- julia = " >= 1.3"
31+ julia = " 1.3, 1.4, 1.5 "
3232
3333[publish ]
3434title = " DataAugmentation.jl"
You can’t perform that action at this time.
0 commit comments