codeintel: Additional executor metrics
Created by: efritz
Emit metrics for host commands run in the executor. This should be merged after https://github.com/sourcegraph/sourcegraph/pull/16625 so that the burden of fixing conflicts falls on me.
Created by: efritz
Emit metrics for host commands run in the executor. This should be merged after https://github.com/sourcegraph/sourcegraph/pull/16625 so that the burden of fixing conflicts falls on me.