Merge "Remove --no-metrics from ROBOLEAF_UNSUPPORTED_FLAGS" into main