diff options
Diffstat (limited to '.github/actions/stasis_indexer')
| -rw-r--r-- | .github/actions/stasis_indexer/action.yml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.github/actions/stasis_indexer/action.yml b/.github/actions/stasis_indexer/action.yml index 1905b48..9be2880 100644 --- a/.github/actions/stasis_indexer/action.yml +++ b/.github/actions/stasis_indexer/action.yml @@ -56,6 +56,18 @@ runs: steps: - uses: actions/checkout@v4 + - name: Install STASIS + id: install-stasis + uses: ./.github/actions/stasis_install + with: + prefix: ${{ github.workspace }}/.local + build_type: RelWithDebInfo + + - name: Enable STASIS + run: | + echo "PATH=${{ steps.install-stasis.outputs.bindir }}:$PATH" >> $GITHUB_ENV + shell: bash + - name: Run STASIS Indexer run: | src="${{ inputs.mission }}/${{ inputs.build_name }}" |