From eddb6753af4f607f67526848723e8a1d6d8eae76 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ole=20Kr=C3=B6ger?= <o.kroeger@opensourc.es>
Date: Sun, 2 Jan 2022 11:44:04 +0100
Subject: [PATCH] run ci when compathelper creates PR (#447)

---
 .github/workflows/CompatHelper.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
index dadc755ab..ac19d8262 100644
--- 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 }}