It wasn't obvious at all to find !
Pipeline #354 canceled
Pipeline canceled for f17bd344 on master 6 years ago
mentioned in commit f17bd344
merged