From 23cd466937ae05c6f7ab756f2b4601892f0fefcb Mon Sep 17 00:00:00 2001 From: Levente Bajczi Date: Fri, 2 Aug 2024 20:03:04 +0200 Subject: [PATCH] revamped result logging --- .github/actions/benchexec-report/action.yml | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/.github/actions/benchexec-report/action.yml b/.github/actions/benchexec-report/action.yml index d4bb070326..a5a57c057a 100644 --- a/.github/actions/benchexec-report/action.yml +++ b/.github/actions/benchexec-report/action.yml @@ -21,6 +21,7 @@ runs: cd artifacts EOF=$(dd if=/dev/urandom bs=15 count=1 status=none | base64) echo "Message<<$EOF" >> $GITHUB_OUTPUT + lasttask="" for i in * do if (ls $i/*xml.bz2 >/dev/null 2>/dev/null) @@ -36,15 +37,14 @@ runs: emoji=":white_check_mark:" [ $correct -eq 0 ] && emoji=":question:" [ $incorrect -eq 0 ] || emoji=":exclamation:" - echo "
$emoji ${i#BenchexecResults-} ($correct / $incorrect / $all)" >> $GITHUB_OUTPUT - echo >> $GITHUB_OUTPUT - echo '`table-generator`'" output: [HTML](https://theta.mit.bme.hu/benchmark-results/${{ github.head_ref }}/$i/$(ls *.html))/[CSV](https://theta.mit.bme.hu/benchmark-results/${{ github.head_ref }}/$i/$(ls *.csv))" >> $GITHUB_OUTPUT - echo >> $GITHUB_OUTPUT - # echo '```' >> $GITHUB_OUTPUT - # cat *.txt >> $GITHUB_OUTPUT - # echo '```' >> $GITHUB_OUTPUT - echo "
" >> $GITHUB_OUTPUT - echo >> $GITHUB_OUTPUT + filename=${i#BenchexecResults-} + portfolio=${filename##*:} + task=${filename%-$portfolio} + if [ "$task" != "$lasttask" ] + then printf "\n| $task | " >> $GITHUB_OUTPUT + fi + lasttask="$task" + printf " $emoji ($correct / $incorrect / $all) [HTML](https://theta.mit.bme.hu/benchmark-results/${{ github.head_ref }}/$i/$(ls *.html))/[CSV](https://theta.mit.bme.hu/benchmark-results/${{ github.head_ref }}/$i/$(ls *.csv)) | " >> $GITHUB_OUTPUT echo >> $GITHUB_OUTPUT popd else