codeintel: Additional executor metrics
There are no commits yet
Push commits to the source branch or add previously merged commits to review them.
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.
Push commits to the source branch or add previously merged commits to review them.