"The pipeline for this merge request has not succeeded yet" wrongly displayed
Summary
Some merge requests claim The pipeline for this merge request has not succeeded yet
even though the corresponding succeeded.
Steps to reproduce
- open a (special?) merge request, for example
- look at merge request widget
What is the current bug behavior?
The pipeline for this merge request has not succeeded yet
but the pipeline succeeded with warnings.
What is the expected correct behavior?
Pipeline state is consistent across merge request widget.