Skip to content

chore(metrics): Rename _metrics to metrics #13754

chore(metrics): Rename _metrics to metrics

chore(metrics): Rename _metrics to metrics #13754

Triggered via pull request October 28, 2025 08:07
Status Success
Total duration 38s
Artifacts
enforce-license-compliance
33s
enforce-license-compliance
Fit to window
Zoom out
Zoom in