tarantool / tarantool / 28663450005

push

github

config: add metric enabled helper

This patch adds `config:is_metric_enabled()` to query whether
a built-in metric group or custom selector is enabled by the
applied `metrics.include/metrics.exclude` configuration.

Closes #12841

NO_DOC=yet

70843 of 119080 branches covered (59.49%)

106396 of 121328 relevant lines covered (87.69%)

1357502.58 hits per line