CI of mc_rtc_ros

Merge pull request #37 from jrl-umi3218/pre-commit-ci-update-config #140

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-20.04, gcc)	6m 42s
	6m 42s