Fix bug in action

ftsrg · Oct 17, 2024 · 8b7f5d4 · 8b7f5d4
1 parent 5f150a6
commit 8b7f5d4
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/actions/benchexec-test/action.yml b/.github/actions/benchexec-test/action.yml
@@ -60,12 +60,10 @@ runs:
 #        cat ${{ inputs.task }}.set
     - name: Run benchexec
       shell: bash
-      if: steps.setfile.outputs.length != '0'
       run: |
         timeout 300 benchexec xml/theta.xml -n 2 --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'
       with:
         name: BenchexecResults-${{ inputs.task }}-${{ inputs.portfolio }}
         path: results