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