Merge request marked as "Merge when pipeline succeeds" got merged immediately
When @yorickpeterse marked !9903 (merged) as "Merge when pipeline succeeds" it got merged immediately. At this moment the pipeline was still running.
This might be caused by the fact that multiple pipelines are running for the same commit. I base this on the conflicting emails I received:
At 15:05 I got an email saying all is well:
8 minutes later I got an email saying the pipeline failed:
When I went to check in !9903 (merged) at 15:19 it reported that the build was still running:
I believe that somehow we created several pipelines for the same commit (SHA), does this need to be possible? If so, I think we would need to terminate an already running pipeline for a certain commit before starting a new one.