From a3d3f0768655e1c78a3863f2c6c1fd58900021e4 Mon Sep 17 00:00:00 2001 From: jaisnan Date: Thu, 14 Sep 2023 21:59:25 -0400 Subject: [PATCH] Fix error message parsing --- .github/workflows/test-action.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/test-action.yml b/.github/workflows/test-action.yml index 130924a..8e33290 100644 --- a/.github/workflows/test-action.yml +++ b/.github/workflows/test-action.yml @@ -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."