Skip to content

build: guard grep pipeline against pipefail when no benchmark files exist#12877

Merged
kgryte merged 1 commit into
developfrom
philipp/ci-fix-random-benchmarks-2026-06-14
Jun 15, 2026
Merged

build: guard grep pipeline against pipefail when no benchmark files exist#12877
kgryte merged 1 commit into
developfrom
philipp/ci-fix-random-benchmarks-2026-06-14

Commits

Commits on Jun 14, 2026