Print benchmarks as markdown

Author: OliverRietmann

.github/scripts/csv_to_md.py

@@ -0,0 +1,12 @@
+import sys
+import csv
+import tabulate as tab
+
+csv_filename = sys.argv[1]
+
+with open(csv_filename) as csv_file:
+  csv_reader = csv.reader(csv_file)
+  header = next(csv_reader)
+  table = [row for row in csv_reader]
+
+print(tab.tabulate(table, header, tablefmt="github"))

.github/workflows/standalone-benchmark.yml

@@ -87,6 +87,10 @@ jobs:
           ${STANDALONE_DIR}/ca -e 50kHz -g --memSize 15000000000 --sync --runs 1 --debug 1 --PROCtimingCSV ${ARTIFACT_FILE}
           rm -rf ${STANDALONE_DIR}/events/50kHz ${STANDALONE_DIR}/build
 
+      - name: Display table on GitHub web
+        run: |
+          python3 ${GITHUB_WORKSPACE}/.github/scripts/csv_to_md.py ${ARTIFACT_FILE} >> ${GITHUB_STEP_SUMMARY}
+
       - name: Upload Artifact
         uses: actions/upload-artifact@v4
         with: