11name : CompatHelper
2-
32on :
43 schedule :
5- - cron : ' 00 23 * * *'
6-
4+ - cron : 0 0 * * *
5+ workflow_dispatch :
6+ permissions :
7+ contents : write
8+ pull-requests : write
79jobs :
810 CompatHelper :
9- runs-on : ${{ matrix.os }}
10- strategy :
11- matrix :
12- julia-version : [1.3.0]
13- julia-arch : [x86]
14- os : [ubuntu-latest]
11+ runs-on : ubuntu-latest
1512 steps :
16- - uses : julia-actions/setup-julia@latest
13+ - name : Check if Julia is already available in the PATH
14+ id : julia_in_path
15+ run : which julia
16+ continue-on-error : true
17+ - name : Install Julia, but only if it is not already available in the PATH
18+ uses : julia-actions/setup-julia@v1
1719 with :
18- version : ${{ matrix.julia-version }}
19- - name : Pkg.add("CompatHelper")
20- run : julia -e 'using Pkg; Pkg.add("CompatHelper")'
21- - name : CompatHelper.main()
20+ version : ' 1'
21+ # arch: ${{ runner.arch }}
22+ if : steps.julia_in_path.outcome != 'success'
23+ - name : " Add the General registry via Git"
24+ run : |
25+ import Pkg
26+ ENV["JULIA_PKG_SERVER"] = ""
27+ Pkg.Registry.add("General")
28+ shell : julia --color=yes {0}
29+ - name : " Install CompatHelper"
30+ run : |
31+ import Pkg
32+ name = "CompatHelper"
33+ uuid = "aa819f21-2bde-4658-8897-bab36330d9b7"
34+ version = "3"
35+ Pkg.add(; name, uuid, version)
36+ shell : julia --color=yes {0}
37+ - name : " Run CompatHelper"
38+ run : |
39+ import CompatHelper
40+ CompatHelper.main()
41+ shell : julia --color=yes {0}
2242 env :
2343 GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
24- run : julia -e 'using CompatHelper; CompatHelper.main()'
44+ COMPATHELPER_PRIV : ${{ secrets.DOCUMENTER_KEY }}
45+ # COMPATHELPER_PRIV: ${{ secrets.COMPATHELPER_PRIV }}
0 commit comments