[automerger skipped] Do not dump metrics if reproxy was never started am: 5990257d46
am: 1145dd81a7
am: f3d2edfd4b
-s ours
am skip reason: Merged-In Ic3403331e1f4ac2c7c72fd9169aa7b82a7545c75 with SHA-1 5990257d46
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>
This commit is contained in: