Use the tagged docker images according to the rosdistro
Passed
Jon Azpiazu
created pipeline for commit
c7fa72ba
, finished
1 related merge request: !27 Use the tagged docker images according to the rosdistro
35 seconds, queued for 0 seconds