Source the config or catkin build fails
Failed
David Tiede
created pipeline for commit
014cb401
, finished
1 related merge request: !5 Source the config or catkin build fails
9 seconds, queued for 2 seconds