Merge pull request #54 from JuliaReach/schillic/CompatHelper

Deactivate CompatHelper for equality specifier
JuliaReach · Dec 19, 2023 · 44cc716 · 44cc716
2 parents fe28acf + 5797f69
commit 44cc716
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=["", "test", "docs"], bump_compat_containing_equality_specifier=false)'