[automerger skipped] Do not dump metrics if reproxy was never started am:...

[automerger skipped] Do not dump metrics if reproxy was never started am: 5990257d am: 1145dd81 am: f3d2edfd -s ours

am skip reason: Merged-In Ic3403331e1f4ac2c7c72fd9169aa7b82a7545c75 with SHA-1 5990257d is already in history

Original change: https://googleplex-android-review.googlesource.com/c/platform/build/soong/+/19049587



Change-Id: If4f3a1c4d04a2cf8d19b4a7fe82fe830fee576d2
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>