File tree 1 file changed +35
-6
lines changed
1 file changed +35
-6
lines changed Original file line number Diff line number Diff line change 1
1
name : CompatHelper
2
2
on :
3
3
schedule :
4
- - cron : ' 00 00 * * *'
4
+ - cron : 0 0 * * *
5
5
workflow_dispatch :
6
+ permissions :
7
+ contents : write
8
+ pull-requests : write
6
9
jobs :
7
10
CompatHelper :
8
11
runs-on : ubuntu-latest
9
12
steps :
10
- - name : Pkg.add("CompatHelper")
11
- run : julia -e 'using Pkg; Pkg.add("CompatHelper")'
12
- - name : CompatHelper.main()
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
19
+ with :
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}
13
42
env :
14
43
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
15
- COMPATHELPER_PRIV : ${{ secrets.COMPATHELPER_PRIV }} # optional
16
- run : julia -e 'using CompatHelper; CompatHelper.main()'
44
+ # COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
45
+ COMPATHELPER_PRIV : ${{ secrets.COMPATHELPER_PRIV }}
You can’t perform that action at this time.
0 commit comments