tree 7c713f56ca20d42e2a35826921d6b4e822fd0bed
parent ec9d9f133a98c894258c085bfffcd724abd7234b
author Lei Zhang <antiagainst@gmail.com> 1643139540 -0500
committer GitHub <noreply@github.com> 1643139540 -0500
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJh8FHUCRBK7hj4Ov3rIwAA4aIIAEPG3V1z9jUTh0AAzXRX93ag
 ylEERGzAiXaL/z276JQOkQ3nL4BUFRaQi5kcWG5SgWMmoiOaU7DR3RzRDt2V4BZZ
 vnEoMuuMwnLcDvT0Lic3vMw9PgM3f0Wr4bamQdmeZ5PIwhkVka3Jgr/5HlBUwmtG
 bxhR8++7YAwsxgZppEeXmzol6NcM9NbNk6k97C4PN4X75EIKCDEZ5RZ2J1Vb8lke
 j31cpC+wbIXafHe+WFIBMsc+QLsli1DNdWErjRviwyJoN9jIwPcmGxVSR6gHb3oN
 Wf/aIPmN1PzWWQGpqVlmGQnI0a7SfjBBVfQxz09FdJiI7L30mZIAhAyr5IW5O2o=
 =eg2i
 -----END PGP SIGNATURE-----
 

Explicitly list the tool used for running benchmarks (#8179)

This is a preliminary step to enable using other benchmark
tools to report other benchmarks like statistics.