CI of mc_rtc with Docker

Merge pull request #425 from antodld/topic/guiRobotMsg #1147

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (debian_buster)	47m 12s
build (ubuntu_22.04)	38m 51s
	1h 26m 3s