Skip to content

Commit

Permalink
Update action.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
leventeBajczi authored Nov 12, 2023
1 parent 7b15c35 commit 906ed8a
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions .github/actions/benchexec-test/action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -53,12 +53,12 @@ runs:
echo "length=$(cat ${{ inputs.task }}.set | wc -l)" >> "$GITHUB_OUTPUT"
- name: Run benchexec
shell: bash
if: ${{ steps.setfile.outputs.length != "0" }}
if: steps.setfile.outputs.length != "0"
run: |
benchexec xml/theta.xml --no-container --tool-directory theta -t ${{ inputs.task }}
- name: Upload results
uses: actions/upload-artifact@0b7f8abb1508181956e8e162db84b466c27e18ce # v3.1.2
if: ${{ steps.setfile.outputs.length != "0" }}
if: steps.setfile.outputs.length != "0"
with:
name: BenchexecResults-${{ inputs.task }}
path: results
path: results

0 comments on commit 906ed8a

Please sign in to comment.