diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-07-20 20:48:34 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-07-20 20:48:34 +0200 |
| commit | 8cc079c3f60f253f57b715c3d87937541d03fae9 (patch) | |
| tree | f7caacdc35cca80c5a3f0fb38cfdc334fd2d8a4f | |
| parent | af255b09a7d698a80f8e331da080c388edeca484 (diff) | |
syz-ci: fix poll of fixing commits
| -rw-r--r-- | syz-ci/manager.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/syz-ci/manager.go b/syz-ci/manager.go index 05396ce81..4693e0836 100644 --- a/syz-ci/manager.go +++ b/syz-ci/manager.go @@ -532,7 +532,7 @@ func (mgr *Manager) createDashboardBuild(info *BuildInfo, imageDir, typ string) // on commit buildCommit. func (mgr *Manager) pollCommits(buildCommit string) ([]string, []dashapi.FixCommit, error) { resp, err := mgr.dash.BuilderPoll(mgr.name) - if err != nil || len(resp.PendingCommits) == 0 { + if err != nil || len(resp.PendingCommits) == 0 && resp.ReportEmail == "" { return nil, nil, err } var present []string |