[automerger skipped] Do not dump metrics if reproxy was never started am: 5990257d46
am: 24a39050fd
-s ours am: 3b3b252748
-s ours
am skip reason: Merged-In Ic3403331e1f4ac2c7c72fd9169aa7b82a7545c75 with SHA-1 a1d8fa9961
is already in history
Original change: https://googleplex-android-review.googlesource.com/c/platform/build/soong/+/19049587
Change-Id: I1cac1a1050d8b10088c160064d4c09e1760def36
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
This commit is contained in: