Pipeline #7714006 passed
Pipeline passed for 9e381848 on moredeps 10 months ago
Merge details
Pipeline #7714071 passed
Pipeline passed for fde08bde on master 10 months ago
enabled an automatic merge when the pipeline for 9e381848 succeeds
mentioned in commit fde08bde
merged