/ GrothProofs / .github / workflows / CompatHelper.yml
CompatHelper.yml
 1  name: CompatHelper
 2  on:
 3    schedule:
 4      - cron: 0 0 * * *
 5    workflow_dispatch:
 6  jobs:
 7    CompatHelper:
 8      runs-on: ubuntu-latest
 9      steps:
10        - name: Pkg.add("CompatHelper")
11          run: julia -e 'using Pkg; Pkg.add("CompatHelper")'
12        - name: CompatHelper.main()
13          env:
14            GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
15            COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
16          run: julia -e 'using CompatHelper; CompatHelper.main()'