Pipeline #18100 passed
Pipeline passed for 55fccecc on bugfix/addparameterizedobjecttocmakelists 5 years ago
Pipeline #18101 passed
Pipeline passed for 07b27021 on master 5 years ago
enabled an automatic merge when the pipeline for 55fccecc succeeds
merged
mentioned in commit 07b27021