PilzDE / industrial_ci_addons

industrial_ci_addons

This is dedicated to provide scripts extending the functionality of https://github.com/ros-industrial/industrial_ci

check_coverage.sh

Checks that all given packages have 100.0% code coverage.