search

gazebo-tooling / release-tools

8 stars 9 forks source link

Fix CI for pull requests from forks #1021

Closed scpeters closed 9 months ago

scpeters commented 9 months ago

I noticed CI was failing in #1012

j-rivero commented 9 months ago

Thanks for the PR!