jenkins_tools (pypi): A tool for running scripts in a chroot environment on Jenkins or locally
Keywords: ROS