Skip to content

Fix metric() showing an extra significant digit on rounding carry (… #213

Fix metric() showing an extra significant digit on rounding carry (…

Fix metric() showing an extra significant digit on rounding carry (… #213

Triggered via push September 16, 2026 15:55
Status Success
Total duration 55s
Artifacts

benchmark.yml

on: push
benchmarks
51s
benchmarks
Fit to window
Zoom out
Zoom in