Skip to content

Commit 1dd1814

Browse files
committed
update docs
1 parent 33644bb commit 1dd1814

File tree

1 file changed

+11
-2
lines changed

1 file changed

+11
-2
lines changed

docs/NightStatisticsMonitoring.md

Lines changed: 11 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -195,16 +195,25 @@ We store the collected statistics in our repository. You can find two special br
195195

196196
The `monitoring-data` branch is a storage for raw statistics data as well as metadata.
197197

198-
The filename format: `<yyyy>-<mm>-<dd>-<hh>-<MM>-<ss>-<branch>-<short commit hash>.json`
198+
The filename format: `<yyyy>-<mm>-<dd>-<hh>-<MM>-<ss>-<branch>-<short commit hash>-<runner number>.json`
199199

200-
### Grafana (in process)
200+
### Grafana
201201

202202
#### Usage
203203

204204
We can use [Grafana](https://monitoring.utbot.org) for more dynamic and detailed statistics visualisation. Grafana pulls data from our repository automatically.
205205

206206
#### Metrics format
207207

208+
Our goal after collecting statistics is uploading results into grafana. For this we should prepare data and send it to our server.
209+
210+
The `prepare_metrics.py` script is responsible for doing this. To run it you have to specify the following arguments.
211+
212+
To get more information about input arguments call script with option `--help`.
213+
214+
Output format: you get the JSON file, containing array of metrics with some labels.
215+
216+
Output example:
208217
```json5
209218
[
210219
// summarised

0 commit comments

Comments
 (0)