Skip to content

Commit

Permalink
Fix error message parsing
Browse files Browse the repository at this point in the history
  • Loading branch information
jaisnan committed Sep 15, 2023
1 parent 94b8a46 commit a3d3f07
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/test-action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ jobs:
- name: Check for Expected Error with invalid version
run: |
# Check if the error output contains the expected error substring
if echo "${{ steps.run-kani-with-invalid-version.outputs }}" | grep -q "could not find `kani-verifier` in registry `crates-io` with version `=0.47.0`"; then
if echo "${{ steps.run-kani-with-invalid-version.outputs }}" | grep -q "Could not install Kani. Please check if the provided version is correct"; then
echo "Error message contains the expected substring."
else
echo "Error message does not contain the expected substring."
Expand Down

0 comments on commit a3d3f07

Please sign in to comment.