update metadata
Failed
Benjamin Gallois
created pipeline for commit
0871235e
, finished
Related merge request !252 to merge 202-distance-oracle-reevaluation
58 minutes 26 seconds, queued for 2 seconds