Pipeline #1935 passed
Pipeline passed for 9bf911ae on readme Oct 24, 2023
Pipeline #1936 passed
Pipeline passed for 8788b444 on main Oct 24, 2023
enabled an automatic merge when the pipeline for 9bf911ae succeeds
mentioned in commit 8788b444
merged