Added score to summary

ftsrg · Nov 12, 2023 · 83d15b8 · 83d15b8
1 parent bb2f1bf
commit 83d15b8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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