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