mirror of
https://github.com/reactos/syzkaller.git
synced 2025-02-27 15:15:35 +00:00

See the issue for the problem description. Include repro level into reporting priority, so that we can order by just it during selection and ignore ReproC/ReproSyz. Fixes #634
93 lines
1.7 KiB
YAML
93 lines
1.7 KiB
YAML
indexes:
|
|
|
|
# AUTOGENERATED
|
|
|
|
# This index.yaml is automatically updated whenever the dev_appserver
|
|
# detects that a new type of query is run. If you want to manage the
|
|
# index.yaml file manually, remove the above marker line (the line
|
|
# saying "# AUTOGENERATED"). If you want to manage some indexes
|
|
# manually, move them above the marker line. The index.yaml file is
|
|
# automatically uploaded to the admin console when you next deploy
|
|
# your application using appcfg.py.
|
|
|
|
- kind: Bug
|
|
properties:
|
|
- name: Namespace
|
|
- name: Status
|
|
|
|
- kind: Bug
|
|
properties:
|
|
- name: Namespace
|
|
- name: Title
|
|
- name: Seq
|
|
direction: desc
|
|
|
|
- kind: Build
|
|
properties:
|
|
- name: Namespace
|
|
- name: Manager
|
|
|
|
- kind: Build
|
|
properties:
|
|
- name: Namespace
|
|
- name: Manager
|
|
- name: Type
|
|
- name: Time
|
|
direction: desc
|
|
|
|
- kind: Crash
|
|
ancestor: yes
|
|
properties:
|
|
- name: Reported
|
|
- name: ReproC
|
|
- name: ReproSyz
|
|
|
|
- kind: Crash
|
|
ancestor: yes
|
|
properties:
|
|
- name: ReportLen
|
|
direction: desc
|
|
- name: Reported
|
|
direction: desc
|
|
- name: Time
|
|
direction: desc
|
|
|
|
- kind: Crash
|
|
ancestor: yes
|
|
properties:
|
|
- name: ReproC
|
|
direction: desc
|
|
- name: ReproSyz
|
|
direction: desc
|
|
- name: ReportLen
|
|
direction: desc
|
|
- name: Reported
|
|
direction: desc
|
|
- name: Time
|
|
direction: desc
|
|
|
|
- kind: Crash
|
|
ancestor: yes
|
|
properties:
|
|
- name: ReproC
|
|
direction: desc
|
|
- name: ReproSyz
|
|
direction: desc
|
|
- name: Reported
|
|
direction: desc
|
|
- name: ReportLen
|
|
direction: desc
|
|
- name: Time
|
|
direction: desc
|
|
|
|
- kind: Job
|
|
properties:
|
|
- name: Finished
|
|
- name: Attempts
|
|
- name: Created
|
|
|
|
- kind: Job
|
|
properties:
|
|
- name: Reported
|
|
- name: Finished
|