diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-08-28 14:47:28 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2023-08-30 10:00:47 +0000 |
| commit | efdc800d3fd41aa3d65cdd3475e0d895614f460b (patch) | |
| tree | 875a9ced394f80b594a852215b8fd41a8a892e59 /sys/linux/dev_video4linux_arm.const | |
| parent | 9d88bcc2e3a17738c9e9364bcb4193af3044548f (diff) | |
dashboard: support per-Manager priority
There are cases when we want to give priority to bugs from particular
managers, e.g. we want to make qemu crashes stay below GCE-based ones.
Add a Priority field to ConfigManager.
There should be no problems rolling this out -- newer crashes of
high-priority crashes will get a higher priority than before, but that's
good, we do want newer crashes to be higher.
Diffstat (limited to 'sys/linux/dev_video4linux_arm.const')
0 files changed, 0 insertions, 0 deletions