Min RK
|
b859818a9c
|
switch generate-metrics to markdown
|
2022-12-07 09:02:09 +01:00 |
|
pre-commit-ci[bot]
|
865d5f7646
|
[pre-commit.ci] auto fixes from pre-commit.com hooks
for more information, see https://pre-commit.ci
|
2022-11-16 14:53:12 +00:00 |
|
Erik Sundell
|
8c30724f17
|
monitoring docs: fixes following monitoring section relocation
|
2020-10-01 10:45:11 +02:00 |
|
Erik Sundell
|
e15b6ad52e
|
Makefile: let make html depend on generated metrics.rst
|
2020-10-01 10:13:31 +02:00 |
|
Rajat Goyal
|
b194135a0f
|
Generate list of prometheus metrics in reStructuredText rather than markdown
|
2020-09-30 23:52:29 +05:30 |
|
Rajat Goyal
|
8ee60ce0c7
|
Add metrics documentation generation step in CircleCI & RTD configs
Also rename generated metrics documentation directory `_gen` from `gen`
|
2020-09-30 22:57:46 +05:30 |
|
Rajat Goyal
|
dcd520179c
|
Made changes in monitoring docs as per the feedback on PR review
|
2020-09-30 22:08:50 +05:30 |
|