update metadata
Passed
Benjamin Gallois
created pipeline for commit
8aa82134
, finished
Related merge request !252 to merge 202-distance-oracle-reevaluation
72 minutes 17 seconds, queued for 11 seconds