|
Ran
|
Jobs
1
|
Files
518
|
Run time
1min
|
Badge
README BADGES
|
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
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 12478858925.1 | 0 |
87.36 |
GitHub Action Run |