ci(benchmarks): adapt to new benchmark paths#2545

mkroening merged 1 commit into

mainhermit-os/kernel:mainfrom

hermit-rs-example-renamehermit-os/kernel:hermit-rs-example-renameCopy head branch name to clipboard