From a604d1cf45213b9930fdad577265a932c378f479 Mon Sep 17 00:00:00 2001
From: araujoms <maltusan@gmail.com>
Date: Sat, 14 Dec 2024 11:07:47 +0100
Subject: [PATCH] hopefully this will make the PRs from CompatHelper trigger CI

---
 .github/workflows/CompatHelper.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
index 971d130..82dd827 100644
--- a/.github/workflows/CompatHelper.yml
+++ b/.github/workflows/CompatHelper.yml
@@ -41,5 +41,5 @@ jobs:
         shell: julia --color=yes {0}
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
-          # COMPATHELPER_PRIV: ${{ secrets.COMPATHELPER_PRIV }}
+          # COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
+          COMPATHELPER_PRIV: ${{ secrets.COMPATHELPER_PRIV }}