metrics: record the number of times lint rules are triggered during a build#2484

Merged

tonistiigi merged 1 commit intodocker:masterfrom jsternberg:lint-metrics

May 30, 2024

+41

Commits on May 30, 2024

metrics: record the number of times lint rules are triggered during a build
jsternberg
committed