push
github
ci: add paths filter to perf_micro workflow The workflow `perf_micro` is heavy and takes about 20 minutes. Running benchmarks on unrelated changes is useless, so the patch limits the list of files that will trigger a run. NO_CHANGELOG=performance NO_DOC=performance NO_TEST=performance (cherry picked from commit 7db102c78)
69657 of 123524 branches covered (56.39%)
102613 of 117461 relevant lines covered (87.36%)
2936086.31 hits per line