Update continuous_integration.yml

viperproject · Dec 18, 2023 · cf73f80 · cf73f80
1 parent 0ba13c0
commit cf73f80
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/continuous_integration.yml b/.github/workflows/continuous_integration.yml
@@ -20,8 +20,8 @@ jobs:
     # will wait for new cache on push to main branch, otherwise will run straight away with existing cache
     needs: generate_log
     strategy:
+      fail-fast: false
       matrix:
-        fail-fast: false
         z3version: ['4.8.7', '4.12.2']
     runs-on: ubuntu-latest