Pipeline #1148574 passed
Pipeline passed for 7e5d6509 on constants Nov 22, 2023
Pipeline #1148584 passed
Pipeline passed for 9f313b0a on master Nov 22, 2023
enabled an automatic merge when the pipeline for 7e5d6509 succeeds
mentioned in commit 9f313b0a
merged