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

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 18067df20..bba0cbec4 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -21,7 +21,7 @@ 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'
+    if: github.ref != 'refs/heads/per-thread-state' || matrix.config-opt != '--enable-mcsat'
     
     steps:
     - uses: actions/checkout@v3