search

gazebo-tooling / release-tools

8 stars 9 forks source link

Improvements in the releasing pipeline #1045

Closed j-rivero closed 11 months ago

j-rivero commented 11 months ago

A couple of small improvements in the releasing pipeline:

j-rivero commented 11 months ago

Found some problems in the diff.