From 6b67c24df5e1ff1c714ca567b37f0875d8dbcbd1 Mon Sep 17 00:00:00 2001
From: jaisnan <jaisnan@amazon.com>
Date: Fri, 15 Sep 2023 14:30:08 -0400
Subject: [PATCH] check error.log

---
 .github/workflows/test-action.yml | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/test-action.yml b/.github/workflows/test-action.yml
index b4765c5..8f2b3b7 100644
--- a/.github/workflows/test-action.yml
+++ b/.github/workflows/test-action.yml
@@ -20,11 +20,16 @@ jobs:
           echo "The output is: $output"
         continue-on-error: true  # Continue to the next steps even if this job fails
 
-      # - name: Debug previous step
-      #   id: debug_step
-      #   env:
-      #     ERROR_MESSAGE: ${{ steps.random-color-generator.outputs.ERROR_MESSAGE }}
-      #   run: echo "The selected color is $ERROR_MESSAGE"
+    - name: Debug Step
+      run: |
+        # Check if error.log exists
+        if [ -f error.log ]; then
+          # Read the error message from the file
+          error_message=$(cat error.log)
+          echo "Error from Step 2: $error_message"
+        else
+          echo "No error message found."
+        fi
 
       - name: Run Kani with older version
         uses: ./ # Uses the action in the root directory