Fix decimal number control for metrics (!86) · Merge requests · bob / bob.measure

Merged Theophile GENTILHOMME requested to merge decimal_metrics into master 6 years ago

Status	Pipeline	Created by	Stages	Actions
Passed 00:12:17 6 years ago	[script][common_options,figure] Fix decimal number control for multi-metrics #21742 decimal_metrics 24bc30ca		Stage: build	Download artifacts No artifacts found

Fix decimal number control for metrics