Bencher has been pretty flaky for a few days now, so it might make sense to switch to CodSpeed: https://codspeed.io/docs

The big "downside" to the switch is that Bencher lets me upload hyperfine JSON directly, while with this I'd probably need to wrap the various benchmarks in a pytest or Rust benchmarking harness. But that's something that probably should be done for maintainability eventually anyways.