Skip to content

Commit b833691

Browse files
authored
Update CompatHelper v2 (#173)
1 parent 0ce0dc9 commit b833691

File tree

1 file changed

+33
-8
lines changed

1 file changed

+33
-8
lines changed

.github/workflows/CompatHelper.yml

Lines changed: 33 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,44 @@
11
name: CompatHelper
22
on:
33
schedule:
4-
- cron: '0 0 * * *' # Every day at midnight
4+
- cron: 0 0 * * * # Every day at midnight
55
workflow_dispatch:
6+
permissions:
7+
contents: write
8+
pull-requests: write
69
jobs:
710
CompatHelper:
811
runs-on: ubuntu-latest
9-
permissions:
10-
contents: write
11-
pull-requests: write
1212
steps:
13-
- name: Pkg.add("CompatHelper")
14-
run: julia -e 'using Pkg; Pkg.add("CompatHelper")'
15-
- 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@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}
1642
env:
1743
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
1844
COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
19-
run: julia -e 'using CompatHelper; CompatHelper.main()'

0 commit comments

Comments
 (0)