tarantool / tarantool / 12393936242 / 1

87%

master: 87%

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

69689 of 123518 branches covered (56.42%)

102635 of 117461 relevant lines covered (87.38%)

3021326.09 hits per line