diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-10-28 17:37:53 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-29 18:02:20 +0100 |
| commit | fc3c67f0292ef665a4d6b68d2cb3a25a793a061f (patch) | |
| tree | a5a2cfb4c05bbbcf848ee0a543fd6ebe7c8bb86f /dashboard/config/linux/bits/debug.yml | |
| parent | f24824d3d54060a7d878eeb35c47f85dab84966a (diff) | |
syz-manager: don't fail on the first machine check error
Machine check may be a bit flaky in some contexts
(e.g. due to a random timeout flake). Don't fail everything
on the first machine check error. Give it 10 tries.
Diffstat (limited to 'dashboard/config/linux/bits/debug.yml')
0 files changed, 0 insertions, 0 deletions