check error.log

.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