mirror of
https://github.com/sharkdp/hyperfine.git
synced 2026-11-09 14:07:40 +00:00
* see: https://github.com/sharkdp/hyperfine/pull/490#pullrequestreview-932424652
* see: https://github.com/sharkdp/hyperfine/pull/490#pullrequestreview-932424652