enable moreJoins impure (#321)

viperproject · Apr 18, 2024 · 8e6f0c6 · 8e6f0c6
1 parent 6382fe0
commit 8e6f0c6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/gobra.yml b/.github/workflows/gobra.yml
@@ -417,6 +417,7 @@ jobs:
           checkConsistency: ${{ env.checkConsistency }}
           parallelizeBranches: '1'
           conditionalizePermissions: '0'
+          moreJoins: 'impure'
           imageVersion: ${{ env.imageVersion }}
           mceMode: 'on'
           requireTriggers: ${{ env.requireTriggers }}