Skip to content

scripts/tests: Align GitHub summary rows by benchmark name - #1536

Draft
mkannwischer wants to merge 1 commit into
mainfrom
port-tests-summary-align
Draft

mkannwischer wants to merge 1 commit into
mainfrom
port-tests-summary-align

Conversation

@mkannwischer

Copy link
Copy Markdown
Contributor

The GitHub job summary combined the outputs of the three parameter sets line by line using zip(). This truncated the table to the shortest output and misaligned rows whenever the parameter sets print different benchmarks.

Match lines of the form name = value by name instead, and keep all lines.

The GitHub job summary combined the outputs of the three parameter sets
line by line using zip(). This truncated the table to the shortest
output and misaligned rows whenever the parameter sets print different
benchmarks.

Match lines of the form `name = value` by name instead, and keep all
lines.

Ports pq-code-package/mlkem-native#1980.
Resolves #1535.

Signed-off-by: Matthias J. Kannwischer <matthias@zerorisc.com>
@mkannwischer mkannwischer added this to the v2.1 milestone Nov 8, 2026

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Port: scripts/tests: Align GitHub summary rows by benchmark name

1 participant