Skip to content

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

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

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

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

docs.yml

on: push
Fit to window
Zoom out
Zoom in