executor_runner: print total execution time (#9342)
Makes it more convenient to check perf with the runner.
S
Scott Wolchok committed
c4c2aaf4d77e53deb9c5d685bf8e5d13602841ce
Parent: f805940
Committed by GitHub <noreply@github.com>
on 3/18/2025, 4:24:29 PM