Pipeline #12928 passed
Pipeline passed for 86942629 on feature/156/configopt 5 years ago
Merge details
Closed #156 (closed)
Pipeline #12944 failed
Pipeline failed for 576fa0e5 on master 5 years ago
enabled an automatic merge when the pipeline for 86942629 succeeds
mentioned in commit 576fa0e5
merged