2024-07-06 12:05:26 +02:00
|
|
|
name: CompatHelper
|
|
|
|
on:
|
2024-10-02 13:19:14 +02:00
|
|
|
push:
|
|
|
|
branches:
|
|
|
|
- main
|
|
|
|
tags: ['*']
|
2024-07-06 12:05:26 +02:00
|
|
|
workflow_dispatch:
|
|
|
|
jobs:
|
|
|
|
CompatHelper:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2024-09-22 09:32:39 +02:00
|
|
|
- name: Got to package folder
|
|
|
|
run: cd ./package
|
2024-07-06 12:05:26 +02:00
|
|
|
- name: Pkg.add("CompatHelper")
|
|
|
|
run: julia -e 'using Pkg; Pkg.add("CompatHelper")'
|
|
|
|
- name: CompatHelper.main()
|
|
|
|
env:
|
|
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
|
|
|
|
run: julia -e 'using CompatHelper; CompatHelper.main()'
|