diff options
| author | Joseph Hunkeler <jhunkeler@gmail.com> | 2025-01-17 09:02:05 -0500 |
|---|---|---|
| committer | Joseph Hunkeler <jhunkeler@gmail.com> | 2025-01-17 09:02:05 -0500 |
| commit | 5b7b7375d3ae31489e22e30132d32f4ecce643bb (patch) | |
| tree | 1f0a9310248e8e048c181e109b6efb0bf852023a /.github/actions/stasis | |
| parent | 6b6d800d5ea482afed68bf33ee9622782110e13a (diff) | |
| download | ghasandbox-5b7b7375d3ae31489e22e30132d32f4ecce643bb.tar.gz | |
OK
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 |