From 467b1ef7203b450ab989b5f23389b13e7d3a437d Mon Sep 17 00:00:00 2001
From: jaisnan <jaisnan@amazon.com>
Date: Fri, 15 Sep 2023 14:31:30 -0400
Subject: [PATCH] Fix formatting

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

diff --git a/.github/workflows/test-action.yml b/.github/workflows/test-action.yml
index 8f2b3b7..81ec950 100644
--- a/.github/workflows/test-action.yml
+++ b/.github/workflows/test-action.yml
@@ -20,16 +20,15 @@ jobs:
           echo "The output is: $output"
         continue-on-error: true  # Continue to the next steps even if this job fails
 
-    - 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: Debug Step
+        run: |
+          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