Skip to content

Commit 02516a8

Browse files
committed
Update CompatHelper workflow
1 parent 74ad225 commit 02516a8

File tree

1 file changed

+10
-33
lines changed

1 file changed

+10
-33
lines changed

.github/workflows/CompatHelper.yml

Lines changed: 10 additions & 33 deletions
Original file line numberDiff line numberDiff line change
@@ -1,44 +1,21 @@
11
name: CompatHelper
22
on:
33
schedule:
4-
- cron: 0 0 * * * # Every day at midnight
4+
- cron: 0 0 * * 0
55
workflow_dispatch:
6-
permissions:
7-
contents: write
8-
pull-requests: write
6+
97
jobs:
108
CompatHelper:
119
runs-on: ubuntu-latest
10+
permissions:
11+
pull-requests: write
12+
actions: write
13+
contents: read
1214
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@v2
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}
15+
- name: Pkg.add("CompatHelper")
16+
run: julia -e 'using Pkg; Pkg.add("CompatHelper")'
17+
- name: CompatHelper.main()
4218
env:
4319
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
4420
COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
21+
run: julia -e 'using CompatHelper; CompatHelper.main()'

0 commit comments

Comments
 (0)