2020-01-19 01:26:57 +00:00
|
|
|
name: CompatHelper
|
|
|
|
on:
|
|
|
|
schedule:
|
2021-04-28 01:48:47 +00:00
|
|
|
- cron: 0 0 * * *
|
|
|
|
workflow_dispatch:
|
2022-10-10 13:06:09 +00:00
|
|
|
permissions:
|
|
|
|
contents: write
|
|
|
|
pull-requests: write
|
2020-01-19 01:26:57 +00:00
|
|
|
jobs:
|
|
|
|
CompatHelper:
|
2020-05-25 04:08:07 +00:00
|
|
|
runs-on: ubuntu-latest
|
2020-01-19 01:26:57 +00:00
|
|
|
steps:
|
2022-10-10 13:06:17 +00:00
|
|
|
- name: Check if Julia is already available in the PATH
|
|
|
|
id: julia_in_path
|
|
|
|
run: which julia
|
|
|
|
continue-on-error: true
|
|
|
|
- name: Install Julia, but only if it is not already available in the PATH
|
|
|
|
uses: julia-actions/setup-julia@v1
|
|
|
|
with:
|
|
|
|
version: '1'
|
|
|
|
arch: ${{ runner.arch }}
|
|
|
|
if: steps.julia_in_path.outcome != 'success'
|
|
|
|
- name: "Add the General registry via Git"
|
|
|
|
run: |
|
|
|
|
import Pkg
|
|
|
|
ENV["JULIA_PKG_SERVER"] = ""
|
|
|
|
Pkg.Registry.add("General")
|
|
|
|
shell: julia --color=yes {0}
|
2021-04-28 01:48:47 +00:00
|
|
|
- name: "Install CompatHelper"
|
|
|
|
run: |
|
|
|
|
import Pkg
|
|
|
|
name = "CompatHelper"
|
|
|
|
uuid = "aa819f21-2bde-4658-8897-bab36330d9b7"
|
2022-10-10 13:06:17 +00:00
|
|
|
version = "3"
|
2021-04-28 01:48:47 +00:00
|
|
|
Pkg.add(; name, uuid, version)
|
|
|
|
shell: julia --color=yes {0}
|
|
|
|
- name: "Run CompatHelper"
|
|
|
|
run: |
|
|
|
|
import CompatHelper
|
2022-10-10 13:06:17 +00:00
|
|
|
CompatHelper.main()
|
2021-04-28 01:48:47 +00:00
|
|
|
shell: julia --color=yes {0}
|
2020-01-19 01:26:57 +00:00
|
|
|
env:
|
|
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
2021-04-28 01:48:47 +00:00
|
|
|
COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
|
|
|
|
# COMPATHELPER_PRIV: ${{ secrets.COMPATHELPER_PRIV }}
|