From 9f1505dd87c124b54deec4f7daaa6e71ad3ceea3 Mon Sep 17 00:00:00 2001 From: Michael Niklas Date: Wed, 21 Oct 2026 08:01:33 +0200 Subject: [PATCH] Separate the tables in the benchmark PR comment Co-Authored-By: Claude Opus 5.5 --- .github/workflows/benchmarks.yml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/.github/workflows/benchmarks.yml b/.github/workflows/benchmarks.yml index 87e9d9767ad..2458608bb1d 100644 --- a/.github/workflows/benchmarks.yml +++ b/.github/workflows/benchmarks.yml @@ -126,14 +126,17 @@ jobs: echo "## $title" echo if [ $status -eq 0 ] && [ -n "$changes" ]; then - # replace asv's markers by something more fun + # replace asv's markers by something more fun, and separate the tables + # of the different groups by a blank line: with --only-changed, asv + # prints them right after each other, which markdown renders as one table sed -E \ -e 's/^\| - +\|/| ๐Ÿš€ |/' \ -e 's/^\| \+ +\|/| ๐ŸŒ |/' \ -e 's/^\| ! +\|/| ๐Ÿ’ฅ |/' \ -e 's/^\| \* +\|/| ๐Ÿฉน |/' \ -e 's/^\| x +\|/| ๐Ÿคท |/' \ - <<< "$compare" + <<< "$compare" \ + | awk '/^\| Change / && NR > 1 { print "" } { print }' echo echo "๐Ÿš€ better ยท ๐ŸŒ worse ยท ๐Ÿ’ฅ now failing ยท ๐Ÿฉน fixed ยท ๐Ÿคท not comparable" echo