[automerger skipped] Do not dump metrics if reproxy was never started am: 5990257d46
am: 1145dd81a7
am: f3d2edfd4b
-s ours am: b107bfb634
-s ours am: 843dc2abdd
-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: Iad36490cbc9be6f43b6bfe93c6317c33393ace44
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
This commit is contained in: