Disable chopper and parallelizeBranches in the CI (#396)

viperproject · Feb 3, 2025 · efc749f · efc749f
1 parent 3b903bf
commit efc749f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/gobra.yml b/.github/workflows/gobra.yml
@@ -415,8 +415,7 @@ jobs:
           includePaths: ${{ env.includePaths }}
           assumeInjectivityOnInhale: ${{ env.assumeInjectivityOnInhale }}
           checkConsistency: ${{ env.checkConsistency }}
-          chop: 10
-          parallelizeBranches: '1'
+          parallelizeBranches: '0'
           conditionalizePermissions: '1'
           moreJoins: 'impure'
           imageVersion: ${{ env.imageVersion }}