diff options
author | Jon Marius Venstad <jonmv@users.noreply.github.com> | 2021-10-27 13:58:00 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-27 13:58:00 +0200 |
commit | 4e95bb8d53fd24190a9c709ef1d143b7a2cde0af (patch) | |
tree | 2de7d48250680cf2005d04dd94378f635605756d /streamingvisitors | |
parent | 25d48905ff81783253057ab71126c6fab4493297 (diff) | |
parent | 4bb849bb8c208dfbe5a72f23ad2166f231617632 (diff) |
Merge pull request #19749 from vespa-engine/jonmv/failed-runs-mauy-not-yet-have-ended
Check also that the first failing run has in fact ended
Diffstat (limited to 'streamingvisitors')
0 files changed, 0 insertions, 0 deletions