Pipeline #8198910 passed
Pipeline passed for 0f0537fc on fmausolf-master-patch-61981 6 months ago
Merge details
Pipeline #8198934 passed
Pipeline passed for 9aff5431 on master 6 months ago
enabled an automatic merge when the pipeline for 0f0537fc succeeds
merged
mentioned in commit 9aff5431