chore: improve hyperfine maintenance path#887

vip892766gma wants to merge 1 commit into

sharkdp:mastersharkdp/hyperfine:masterfrom

vip892766gma:maint/20260525160741vip892766gma/hyperfine:maint/20260525160741Copy head branch name to clipboard