Avoid including dry run steps in the build metrics#110442

Merged

bors merged 1 commit intorust-lang:masterfrom

ferrocene:pa-build-metrics-dry-run

Apr 18, 2023

Commits on Apr 17, 2023

avoid including dry run steps in the build metrics
pietroalbini
committed