diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-07-21 09:43:01 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-07-21 10:06:46 +0200 |
| commit | 0f42bbec240714ea93feff8e86c707f97e19f6f7 (patch) | |
| tree | ab67f8391663a50d8a73821e045b8c6f08f21f0c /executor/test_executor.cc | |
| parent | 1a3751c444d733fa77c6093f68ac86f4faaecdbe (diff) | |
syz-ci: extend dashboard interface
1. Add manager name to builds.
2. Add centralized logging.
3. Add types for bug reports and bug updates.
Diffstat (limited to 'executor/test_executor.cc')
0 files changed, 0 insertions, 0 deletions