SpinUp-microros pros + micro-ROS for the 2022-2023 VEX game Spin Up Run docker-compose run microros_pros_builder in the terminal to build the microros static library, then run pros make to build.