Skip to content

Increase number of decimals when reporting increments in grdedit -A #2655

Increase number of decimals when reporting increments in grdedit -A

Increase number of decimals when reporting increments in grdedit -A #2655

Triggered via push January 3, 2025 02:01
Status Success
Total duration 25s
Artifacts
update_release_draft
18s
update_release_draft
Fit to window
Zoom out
Zoom in

Annotations

1 warning
update_release_draft
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636