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

build: guard grep pipeline against pipefail when no benchmark files e…

3758afd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar