From 4cf9b5de0deb23d9dd669413b17af99fbd0a2ea6 Mon Sep 17 00:00:00 2001
From: Ahmed <43099566+ahmed-irfan@users.noreply.github.com>
Date: Tue, 3 Oct 2023 16:27:31 -0700
Subject: [PATCH] Update ci.yml

try
---
 .github/workflows/ci.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ee85cfa12..df3808ad6 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -12,9 +12,10 @@ jobs:
         mode: [debug, release]
         config-opt: [--enable-mcsat, --enable-thread-safety]
         env: [CC=gcc CXX=g++, CC=clang CXX=clang++]
+        is-per-thread-state-branch: 
+          - ${{ github.ref == 'refs/heads/per-thread-state' }}
         exclude:
-          - if: github.ref == 'refs/heads/per-thread-state'
-            config-opt: --enable-mcsat        
+          - is-per-thread-state-branch: true
         include:
           - os: ubuntu-latest
             mode: gcov