search

ros-infrastructure / buildfarm

Build scripts and notes for catkin debian build pipeline.
6 stars 15 forks source link

Checkout buildfarm via jenkins instead of command line #125

Closed tfoote closed 11 years ago