Checking pipeline status.
Merge details
assigned to @wmaahs
approved this merge request
mentioned in commit e7cf3480
merged