search

ros-industrial / docker

ROS-Industrial docker and cloud tools
22 stars 21 forks source link

Delete Dockerfiles for CI repository #43

Closed mathias-luedtke closed 3 years ago

mathias-luedtke commented 3 years ago

As discussed in #42

Levi-Armstrong commented 3 years ago

@ipa-mdl What is left before this can be merged?

mathias-luedtke commented 3 years ago

@Levi-Armstrong: The corresponding automated builds should be delete a as well.

Levi-Armstrong commented 3 years ago

The auto build has been disabled.