From 906ed8aec49458a2151fd0326e8e4ff6f8b33e5c Mon Sep 17 00:00:00 2001
From: Bajczi Levente <bajczilevi@gmail.com>
Date: Sun, 12 Nov 2023 14:10:53 +0100
Subject: [PATCH] Update action.yml

---
 .github/actions/benchexec-test/action.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/actions/benchexec-test/action.yml b/.github/actions/benchexec-test/action.yml
index d245dc65a2..634073d710 100644
--- a/.github/actions/benchexec-test/action.yml
+++ b/.github/actions/benchexec-test/action.yml
@@ -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
\ No newline at end of file
+        path: results