Skip to content

Commit e17bd8a

Browse files
committed
Fix compat
1 parent b3d22ee commit e17bd8a

File tree

1 file changed

+3
-34
lines changed

1 file changed

+3
-34
lines changed

.github/workflows/CompatHelper.yml

Lines changed: 3 additions & 34 deletions
Original file line numberDiff line numberDiff line change
@@ -3,42 +3,11 @@ on:
33
schedule:
44
- cron: 0 0 * * *
55
workflow_dispatch:
6-
permissions:
7-
contents: write
8-
pull-requests: write
96
jobs:
107
CompatHelper:
118
runs-on: ubuntu-latest
129
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
10+
- uses: JuliaRegistries/compathelper-action@v1
1911
with:
20-
version: '1.9'
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}
42-
env:
43-
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
44-
COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
12+
token: ${{ secrets.GITHUB_TOKEN }}
13+
ssh: ${{ secrets.DOCUMENTER_KEY }}

0 commit comments

Comments
 (0)