File tree Expand file tree Collapse file tree 3 files changed +39
-16
lines changed Expand file tree Collapse file tree 3 files changed +39
-16
lines changed Original file line number Diff line number Diff line change 1
1
name : CompatHelper
2
-
3
2
on :
4
3
schedule :
5
- - cron : ' 00 00 * * *'
4
+ - cron : 0 0 * * *
6
5
workflow_dispatch :
7
-
6
+ permissions :
7
+ contents : write
8
+ pull-requests : write
8
9
jobs :
9
10
CompatHelper :
10
- runs-on : ${{ matrix.os }}
11
- strategy :
12
- matrix :
13
- julia-version : [1.2.0]
14
- julia-arch : [x86]
15
- os : [ubuntu-latest]
11
+ runs-on : ubuntu-latest
16
12
steps :
17
- - name : Pkg.add("CompatHelper")
18
- run : julia -e 'using Pkg; Pkg.add("CompatHelper")'
19
- - 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}
20
42
env :
21
43
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
22
- run : julia -e 'using CompatHelper; CompatHelper.main()'
44
+ COMPATHELPER_PRIV : ${{ secrets.DOCUMENTER_KEY }}
45
+ # COMPATHELPER_PRIV: ${{ secrets.COMPATHELPER_PRIV }}
Original file line number Diff line number Diff line change 6
6
workflow_dispatch :
7
7
inputs :
8
8
lookback :
9
- default : 3
9
+ default : " 3 "
10
10
permissions :
11
11
actions : read
12
12
checks : read
30
30
token : ${{ secrets.GITHUB_TOKEN }}
31
31
# Edit the following line to reflect the actual name of the GitHub Secret containing your private key
32
32
ssh : ${{ secrets.DOCUMENTER_KEY }}
33
- # ssh: ${{ secrets.NAME_OF_MY_SSH_PRIVATE_KEY_SECRET }}
33
+ # ssh: ${{ secrets.NAME_OF_MY_SSH_PRIVATE_KEY_SECRET }}
Original file line number Diff line number Diff line change @@ -22,7 +22,7 @@ function __init__udenglish()
22
22
""" ,
23
23
" https://raw.githubusercontent.com/UniversalDependencies/UD_English-EWT/master/" .*
24
24
[TRAINFILE, DEVFILE, TESTFILE],
25
- " 2e94de3333b3b17bd06769ff8c4a81896fabec3ae51a6366f7af82625679f561 " ))
25
+ " 43d082e0b277c4758f7ad5d3f7c508078d43e82d4d6fcaa58d0056a6d5576a49 " ))
26
26
end
27
27
28
28
"""
You can’t perform that action at this time.
0 commit comments