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