search

gazebo-tooling / gzdev

Gazebo developers tool is an Outreachy project designed to facilitate many of the usual tasks that Gazebo developers face daily
Other
14 stars 3 forks source link

Enable nightlies for main branches #91

Closed iche033 closed 4 hours ago

iche033 commented 6 hours ago

https://github.com/gazebo-tooling/release-tools/issues/1092