should we ever need it, we better rethink the parameterization
Pipeline #152591 passed
Pipeline passed for dd8c2d53 on j.0 8 months ago
Merge details
Pipeline #152593 passed
Pipeline passed for e3b1cd2e on main 8 months ago
enabled an automatic merge when the pipeline for dd929e65 succeeds
aborted the automatic merge because source branch was updated
added 1 commit
Compare with previous version
enabled an automatic merge when the pipeline for dd8c2d53 succeeds
mentioned in commit e3b1cd2e
merged
