diff --git a/.github/workflows/test-action.yml b/.github/workflows/test-action.yml index f774aef..47ba4d9 100644 --- a/.github/workflows/test-action.yml +++ b/.github/workflows/test-action.yml @@ -7,8 +7,6 @@ jobs: test-action: runs-on: ubuntu-latest name: Ensure that the Kani action continues to work - outputs: - output1: ${{steps.set_error.outputs.test}} steps: # To use this repository's private action, # you must check out the repository @@ -17,17 +15,14 @@ jobs: - name: Run Kani with invalid version id: set_error - uses: ./ - with: - working-directory: tests/cargo-kani/simple-lib - kani-version: '0.47.0' + runs: | + output=$(./src/install-kani.sh "0.47.0") + echo "MY_VARIABLE=$output" >> $GITHUB_ENV continue-on-error: true # Continue to the next steps even if this job fails - name: Debug previous step id: debug_step - env: - S_OUTPUT: ${{ steps.set_error.outputs.test }} - run: echo "The selected color is $S_OUTPUT" + run: echo "The selected color is $MY_VARIABLE" - name: Run Kani with older version uses: ./ # Uses the action in the root directory