diff options
Diffstat (limited to '.github/actions/stasis')
| -rw-r--r-- | .github/actions/stasis/action.yml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/.github/actions/stasis/action.yml b/.github/actions/stasis/action.yml index d0b9965..f9ad764 100644 --- a/.github/actions/stasis/action.yml +++ b/.github/actions/stasis/action.yml @@ -170,11 +170,17 @@ runs: shell: bash - name: Install STASIS + id: install-stasis uses: ./.github/actions/stasis_install with: prefix: ${{ github.workflow }}/.local build_type: RelWithDebInfo + - name: Enable STASIS + run: | + echo "PATH=${{ steps.install-stasis.outputs.bindir }}:$PATH" >> $GITHUB_ENV + shell: bash + - name: Configure program arguments run: | echo "option_continue_on_error=${{ inputs.option_continue_on_error && '--continue-on-error' || '' }}" >> $GITHUB_ENV @@ -230,7 +236,7 @@ runs: #fi shell: bash - - name: Run STASIS + - name: Run STASIS with arguments run: | args="" for arg in $(compgen -A variable | grep option_); do |