diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-10-07 22:04:58 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-10-07 22:04:58 +0200 |
| commit | 7de29370377bf1888a451ae5cbe3040292b96aef (patch) | |
| tree | 5ea69989992ce5f5da877d91a29c87d18a6934e5 /executor | |
| parent | 191a429c4c0e671dcfdf53d04e38796d28e2d5cf (diff) | |
manager: overwrite old reports with new reports
Save up to 100 reports. If we already have 100, overwrite the oldest one.
Newer reports are generally more useful. Overwriting is also needed
to be able to understand if a particular bug still happens or already fixed.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions