Dmitry Vyukov 0327584e99 dashboard/app: tell managers when dashboard needs a repro ... Managers can't decide when a repro is required. First, there can be bugs with seq>0. Second, a repro can be already obtained on another manager.		2017-08-10 19:29:42 +02:00
..
mgrconfig	syz-ci: don't duplicate manager config default values	2017-07-17 12:39:11 +02:00
cover.go	pkg/symbolizer: move from symbolizer	2017-06-17 14:41:15 +02:00
html.go	syz-manager, syz-hub: share repros between managers via hub	2017-08-07 15:28:59 +02:00
manager.go	dashboard/app: tell managers when dashboard needs a repro	2017-08-10 19:29:42 +02:00