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