Merge pull request #354 from JuliaReach/schillic/invalidations

Workaround for invalidations check

Author: schillic

.github/workflows/invalidations.yml

@@ -20,7 +20,7 @@ jobs:
       - name: Set up Julia
         uses: julia-actions/setup-julia@v2
         with:
-          version: '1'
+          version: '1.11'  # broken with v1.12
       # current branch
       - name: Check out repository in current branch
         uses: actions/checkout@v6