From 8cbb2881db061e1a3188ce1c00b64aae6e3e7080 Mon Sep 17 00:00:00 2001
From: Ahmed <43099566+ahmed-irfan@users.noreply.github.com>
Date: Tue, 3 Oct 2023 15:41:17 -0700
Subject: [PATCH] Update ci.yml

trying
---
 .github/workflows/ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d330e75e2..18067df20 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -6,7 +6,6 @@ on:
 
 jobs:
   build:
-    if: github.ref != 'refs/heads/per-thread-state'
     strategy:
       matrix:
         os: [ubuntu-latest]
@@ -22,6 +21,8 @@ jobs:
     name: ${{ matrix.os }}|${{ matrix.mode }}|${{ matrix.config-opt }}|${{ matrix.env }}
     runs-on: ${{ matrix.os }}
 
+    if: github.ref != 'refs/heads/per-thread-state' || ${{ matrix.config-opt }} != '--enable-mcsat'
+    
     steps:
     - uses: actions/checkout@v3