related to #43 (closed)
Pipeline #49292 passed
Pipeline passed for 3dd816da on mark-slow-tests 4 years ago
Pipeline #49295 passed
Pipeline passed for c50e1c52 on master 4 years ago
enabled an automatic merge when the pipeline for 3dd816da succeeds
merged
mentioned in commit c50e1c52