merge main-dev

singular-gpispace · Oct 25, 2023 · 64020b5 · 64020b5
1 parent 75ac75f
commit 64020b5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
@@ -14,3 +14,4 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
         run: julia -e 'using CompatHelper; CompatHelper.main()'
+