Merge pull request #96 from JuliaReach/schillic/compat

Fix CompatHelper script
JuliaReach · Nov 4, 2023 · 4ed19d4 · 4ed19d4
2 parents e8b44ca + 6037873
commit 4ed19d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
@@ -18,4 +18,4 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
-        run: julia -e 'using CompatHelper; CompatHelper.main(; subdirs=["", "test", "docs"])'
+        run: julia -e 'using CompatHelper; CompatHelper.main(; subdirs=["", "docs"])'