run ci when compathelper creates PR

JuliaAnimators · Dec 4, 2021 · 66aae06 · 66aae06
1 parent bc65d7a
commit 66aae06
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
@@ -12,3 +12,4 @@ jobs:
         run: julia -e 'using CompatHelper; CompatHelper.main()'
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}