diff --git a/.github/workflows/gobra.yml b/.github/workflows/gobra.yml index 277fb7604..80c1ce95f 100644 --- a/.github/workflows/gobra.yml +++ b/.github/workflows/gobra.yml @@ -271,7 +271,7 @@ jobs: includePaths: ${{ env.includePaths }} assumeInjectivityOnInhale: ${{ env.assumeInjectivityOnInhale }} checkConsistency: ${{ env.checkConsistency }} - parallelizeBranches: '1' + parallelizeBranches: ${{ env.parallelizeBranches }} imageVersion: ${{ env.imageVersion }} mceMode: ${{ env.mceMode }} requireTriggers: ${{ env.requireTriggers }}