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