From cf73f807bfea3c02bc252fa615ab67173f210af1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jon=C3=A1=C5=A1=20Fiala?= <jonas.fiala@inf.ethz.ch>
Date: Mon, 18 Dec 2023 19:50:15 +0100
Subject: [PATCH] Update continuous_integration.yml

---
 .github/workflows/continuous_integration.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/continuous_integration.yml b/.github/workflows/continuous_integration.yml
index c8eaf8d4..2e6eb005 100644
--- 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