File tree 1 file changed +6
-3
lines changed
1 file changed +6
-3
lines changed Original file line number Diff line number Diff line change 3
3
schedule :
4
4
- cron : 59 14 * * *
5
5
workflow_dispatch :
6
+ permissions :
7
+ contents : write
8
+ pull-requests : write
6
9
jobs :
7
10
build :
8
11
runs-on : ubuntu-latest
9
12
steps :
10
13
- name : " Add the General registry via Git"
14
+ shell : julia --color=yes {0}
11
15
run : |
12
16
import Pkg
13
17
ENV["JULIA_PKG_SERVER"] = ""
14
18
Pkg.Registry.add("General")
15
- shell : julia --color=yes {0}
16
19
- name : " Install CompatHelper"
20
+ shell : julia --color=yes {0}
17
21
run : |
18
22
import Pkg
19
23
name = "CompatHelper"
20
24
uuid = "aa819f21-2bde-4658-8897-bab36330d9b7"
21
25
version = "3"
22
26
Pkg.add(; name, uuid, version)
23
- shell : julia --color=yes {0}
24
27
- name : " Run CompatHelper"
28
+ shell : julia --color=yes {0}
25
29
run : |
26
30
import CompatHelper
27
31
CompatHelper.main()
28
- shell : julia --color=yes {0}
29
32
env :
30
33
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
31
34
COMPATHELPER_PRIV : ${{ secrets.DOCUMENTER_KEY }}
You can’t perform that action at this time.
0 commit comments