Skip to content
Require PR label

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

Sign in to view logs

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

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

This workflow is awaiting approval from a maintainer in #359
Triggered via pull request July 25, 2026 08:34
@vidigoatvidigoat
opened #359
vidigoat:fix-metric-significant-digits
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #359

require-pr-label.yml

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