diff options
| author | David Mehren | 2021-04-18 12:31:28 +0200 |
|---|---|---|
| committer | David Mehren | 2021-04-22 23:19:34 +0200 |
| commit | 8914df60a93c93f48fc7306b5b4edf347474894a (patch) | |
| tree | 521a2ddd4f2a31c8bfb2e98d9ac9e9a36385cb64 /docs/content/dev/ot.md | |
| parent | dcf72148cebd817399fc0e6067709281fdf2dac9 (diff) | |
Add prometheus endpoint at /metrics
This is currently just using the default metrics of prometheus-api-metrics.
Signed-off-by: David Mehren <git@herrmehren.de>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions