micro-ROS

Continuous Integration support for the microROS project (see https://microros.github.io/)