ros-industrial / industrial_ci

Easy continuous integration repository for ROS repositories
Apache License 2.0
248 stars 129 forks source link

Pin bundled industrial_ci debian repository only #840

Closed mathias-luedtke closed 1 year ago