Pipeline #9890 passed
Pipeline passed for a96a0f97 on add-repr-to-match-expressions 7 years ago
Pipeline #9894 passed
Pipeline passed for c023fa3d on master 7 years ago
enabled an automatic merge when the pipeline for a96a0f97 succeeds
merged
mentioned in commit c023fa3d