Skip to content

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

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

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

This workflow is awaiting approval from a maintainer in #359
Triggered via pull request July 25, 2026 08:34
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #359

benchmark.yml

on: pull_request
benchmarks
benchmarks
Fit to window
Zoom out
Zoom in