Checking pipeline status.
Merge details
approved this merge request
merged
mentioned in commit deeedab0