Auto merge of #3514 - RalfJung:hyperfine, r=RalfJung

CI: run benches with hyperfine rather than bash

The hyperfine installation is cached so this should not cost a lot of CI time.

This is step 1/2 to getting rid of the BASH variable hack.
This commit is contained in:
bors 2024-04-25 09:16:32 +00:00
commit 66f8f7b3e4

Diff content is not available