Merge "Do not dump metrics if reproxy was never started" am: 13642d47 am:...

Merge "Do not dump metrics if reproxy was never started" am: 13642d47 am: a0d2817f am: fc629ece

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

Change-Id: Id632610d86327efddb5c789f6a1db101e1e7f125