From 0faacc431575c1c504bc8782c3f1593fe9777ca8 Mon Sep 17 00:00:00 2001
From: jaisnan <jaisnan@amazon.com>
Date: Tue, 19 Sep 2023 20:46:27 -0400
Subject: [PATCH] update using sed

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

diff --git a/.github/workflows/test-action.yml b/.github/workflows/test-action.yml
index c2eecda..f7b974a 100644
--- a/.github/workflows/test-action.yml
+++ b/.github/workflows/test-action.yml
@@ -58,7 +58,7 @@ jobs:
       - name: Test run Kani with latest version
         run: |
           installed_version=$(kani --version | awk '{print $2}')
-          expected_version=$(cargo search kani-verifier | grep -m 1 "^kani-verifier " | awk '{print $3}')
+          expected_version=$(cargo search kani-verifier | grep -m 1 "^kani-verifier " | awk '{print $3}' | sed 's/"//g')
 
           if [[ "$installed_version" == "$expected_version" ]]; then
             echo "The installed version ($installed_version) matches the latest version. ($expected_version)"