From 83d15b8e34e6005e57e4c481fbaf8bf7df443827 Mon Sep 17 00:00:00 2001
From: Levente Bajczi <bajczilevi@gmail.com>
Date: Sun, 12 Nov 2023 13:26:02 +0100
Subject: [PATCH] Added score to summary

---
 .github/actions/benchexec-report/action.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/actions/benchexec-report/action.yml b/.github/actions/benchexec-report/action.yml
index 24cf03910c..57e4311836 100644
--- a/.github/actions/benchexec-report/action.yml
+++ b/.github/actions/benchexec-report/action.yml
@@ -27,7 +27,7 @@ runs:
             table-generator -d *xml.bz2
             sed -i 's/\.\.\/sv-benchmarks/https:\/\/gitlab\.com\/sosy-lab\/benchmarking\/sv-benchmarks\/-\/raw\/main/g' *.html
             unzip *.zip
-            echo "<details><summary>${i#BenchexecResults-}</summary>" >> $GITHUB_OUTPUT
+            echo "<details><summary>${i#BenchexecResults-} ($(echo $(tail -n9 *.txt | grep Score | awk ' { $1=""; print $0 } ')))</summary>" >> $GITHUB_OUTPUT
             echo '```'  >> $GITHUB_OUTPUT
             tail -n9 *.txt  >> $GITHUB_OUTPUT
             echo '```'  >> $GITHUB_OUTPUT