diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-05-17 19:23:42 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <wp32pw@gmail.com> | 2023-05-17 20:35:05 +0200 |
| commit | 3bb7af1def6b7b99e4c1c9573162eb41b5893cd3 (patch) | |
| tree | f3f4ace0042e4f42aa41b71431a660d10a39b7ec | |
| parent | 258520f6c30d9f726364c05921eca9e2015a26cb (diff) | |
dashboard: update HeadReproLevel separately
There are cases when we have revoked a reproducer, but quickly found a
newer one. In that case we should update HeadReproLevel.
| -rw-r--r-- | dashboard/app/api.go | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dashboard/app/api.go b/dashboard/app/api.go index def74e0b1..54f1a04c4 100644 --- a/dashboard/app/api.go +++ b/dashboard/app/api.go @@ -796,6 +796,8 @@ func reportCrash(c context.Context, build *Build, req *dashapi.Crash) (*Bug, err } if bug.ReproLevel < reproLevel { bug.ReproLevel = reproLevel + } + if bug.HeadReproLevel < reproLevel { bug.HeadReproLevel = reproLevel } if len(req.Report) != 0 { |