Pipeline #5458 passed
Pipeline passed for 76178f82 on feature/compile-messages-before-build 4 years ago
Merge details
Pipeline #5471 passed
Pipeline passed for 36d38608 on master 4 years ago
enabled an automatic merge when the pipeline for 76178f82 succeeds
merged
mentioned in commit 36d38608