fix(benchmarks): drop the leftover bash tail in the coverage step - #134

Merged

cuioss-oliver merged 1 commit into

mainfrom

fix/benchmark-coverage-leftover-bash

Jul 30, 2026

Commits on Jul 30, 2026

fix(benchmarks): drop the leftover bash tail in the coverage step

cuioss-oliver
and
claude
committed