File tree 1 file changed +20
-1
lines changed
1 file changed +20
-1
lines changed Original file line number Diff line number Diff line change 3
3
schedule :
4
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 :
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}
10
29
- name : " Install CompatHelper"
11
30
run : |
12
31
import Pkg
13
32
name = "CompatHelper"
14
33
uuid = "aa819f21-2bde-4658-8897-bab36330d9b7"
15
- version = "2 "
34
+ version = "3 "
16
35
Pkg.add(; name, uuid, version)
17
36
shell : julia --color=yes {0}
18
37
- name : " Run CompatHelper"
You can’t perform that action at this time.
0 commit comments