diff options
| author | Joseph Hunkeler <jhunkeler@gmail.com> | 2025-01-17 14:43:06 -0500 |
|---|---|---|
| committer | Joseph Hunkeler <jhunkeler@gmail.com> | 2025-01-17 14:43:06 -0500 |
| commit | 2c6f224bf5abdf77641fd6562ece7f9b9a01e8c3 (patch) | |
| tree | f01fd543c51c1876b5dea37ce22f611d4225c4eb /.github/actions/stasis_indexer | |
| parent | 1e043c3762b66b529f2b1ee5c849804e12f20511 (diff) | |
| download | ghasandbox-2c6f224bf5abdf77641fd6562ece7f9b9a01e8c3.tar.gz | |
OK
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 }}" |