From 909c3ab376f0306b5776c31f5e3f68a650c79357 Mon Sep 17 00:00:00 2001
From: jaisnan <jaisnan@amazon.com>
Date: Fri, 15 Sep 2023 12:57:49 -0400
Subject: [PATCH] Update variable

---
 .github/workflows/test-action.yml | 13 ++++---------
 1 file changed, 4 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/test-action.yml b/.github/workflows/test-action.yml
index f774aef..47ba4d9 100644
--- a/.github/workflows/test-action.yml
+++ b/.github/workflows/test-action.yml
@@ -7,8 +7,6 @@ jobs:
   test-action:
     runs-on: ubuntu-latest
     name: Ensure that the Kani action continues to work
-    outputs:
-      output1: ${{steps.set_error.outputs.test}}
     steps:
       # To use this repository's private action,
       # you must check out the repository
@@ -17,17 +15,14 @@ jobs:
 
       - name: Run Kani with invalid version
         id: set_error
-        uses: ./
-        with:
-          working-directory: tests/cargo-kani/simple-lib
-          kani-version: '0.47.0'
+        runs: |
+          output=$(./src/install-kani.sh "0.47.0")
+          echo "MY_VARIABLE=$output" >> $GITHUB_ENV
         continue-on-error: true  # Continue to the next steps even if this job fails
 
       - name: Debug previous step
         id: debug_step
-        env:
-          S_OUTPUT: ${{ steps.set_error.outputs.test }}
-        run: echo "The selected color is $S_OUTPUT"
+        run: echo "The selected color is $MY_VARIABLE"
 
       - name: Run Kani with older version
         uses: ./ # Uses the action in the root directory