Benchmarks

Performance benchmarks are run on each commit to allow monitoring for regressions. See the GitHub Actions workflow and docs

To remove some of the noise caused by running benchmarks on different days, on potentially different CI machines, shared with differing neighboring CI jobs, the benchmarks are adjusted by the geometric mean of individual benchmark "scores" within each set.