rename echec in failure
Failed
Benjamin Gallois
created pipeline for commit c4d7a884
, finished
Related merge request !252 to merge 202-distance-oracle-reevaluation
28 minutes 46 seconds, queued for 2 seconds