Running benchmarks locally

Stream: mathlib4

[Robin Carlier]

Are there ressources somewhere that would explain how to run benchmarks like the one from the speedcenter on a local machine and gather the same kind of data (diff in instructions etc. between two commits)?