From 3747bc503268b2fc376e601284cd6d7274db7f64 Mon Sep 17 00:00:00 2001 From: Levente Bajczi Date: Tue, 12 Nov 2024 22:26:16 +0100 Subject: [PATCH] fix syntax --- .github/actions/benchexec-test/action.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/actions/benchexec-test/action.yml b/.github/actions/benchexec-test/action.yml index 2c71062f5d..7a41f95dfe 100644 --- a/.github/actions/benchexec-test/action.yml +++ b/.github/actions/benchexec-test/action.yml @@ -64,8 +64,8 @@ runs: for task in ${tasks[@]} do echo "Starting benchmark on rundefinition '${{ inputs.rundef }}', task set '$task'" - echo "timeout $timeout benchexec xml/theta.xml -n 2 --no-container --tool-directory $folder -r ${{ inputs.rundef }} -t "$task" || true" - timeout $timeout --kill-after 15 benchexec xml/theta.xml -n 2 --no-container --tool-directory $folder -r ${{ inputs.rundef }} -t "$task" || true + echo "timeout --kill-after 15 $timeout benchexec xml/theta.xml -n 2 --no-container --tool-directory $folder -r ${{ inputs.rundef }} -t "$task" || true" + timeout --kill-after 15 $timeout benchexec xml/theta.xml -n 2 --no-container --tool-directory $folder -r ${{ inputs.rundef }} -t "$task" || true done - name: Upload results uses: actions/upload-artifact@b4b15b8c7c6ac21ea08fcf65892d2ee8f75cf882 # v3.1.2