search

ros-industrial / industrial_ci

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

Migrate ROSDEP_SOURCES_VERSION to ROSDISTRO_INDEX_VERSION #857

Closed mathias-luedtke closed 8 months ago