Add key to compat helper

Tokazama · Nov 29, 2020 · 5eacd21 · 5eacd21
1 parent 3790f1c
commit 5eacd21
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
@@ -13,4 +13,5 @@ jobs:
       - name: CompatHelper.main()
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}  # optional
         run: julia -e 'using CompatHelper; CompatHelper.main()'