fix(#157): review: either `--` launch or loop
Related merge request !214 to merge 157-ease-the-installation-of-distance-oracle
merge request
5 jobs
19 minutes 14 seconds, queued for 6 seconds