Pipeline #9656 passed
Pipeline passed for 19bea9c5 on pip 7 years ago
Pipeline #9699 passed
Pipeline passed for 77e7e48a on master 7 years ago
enabled an automatic merge when the pipeline for 19bea9c5 succeeds
mentioned in commit 77e7e48a
merged