diff options
| author | Aleksey Kladov <[email protected]> | 2020-07-30 08:44:21 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-07-30 09:23:32 +0100 |
| commit | 7204374719f4021ce06c25e7dd72b09a56923954 (patch) | |
| tree | 2e589e4b57540a87ed46aa831a7ad1af6ab8ad40 /docs/user | |
| parent | 4bab553029da31f3e90e99d8b83d160a34fdf4b2 (diff) | |
Report instructions in addition to time
They hopefully will be more stable on CI
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions