Pipeline #8080 passed
Pipeline passed for 451ee7b5 on ci 5 years ago
Merge details
Pipeline #8083 passed
Pipeline passed for 451ee7b5 on master 5 years ago
added 1 commit
Compare with previous version
enabled an automatic merge when the pipeline for 451ee7b5 succeeds
merged