micro_ros_setup
micro_ros_setup copied to clipboard
Prepare base docker container
To reduce build time, and avoid spurious build failures like the failed toolchain download recently, I would suggest to prepare a base docker file which contains all dependencies already. This could be built once a day or so.
Should be solved with https://github.com/micro-ROS/docker Close if agree.
Closing due to inactivity and a solution was proposed