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