Skip to content
Snippets Groups Projects

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
3 jobs 35 seconds, queued for 1 seconds