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

Implement keyserver parameter option #73

Closed j-rivero closed 11 months ago

j-rivero commented 11 months ago

Add a parameter to set the keyserver to use by the apt-key . Related to https://github.com/gazebo-tooling/release-tools/issues/1069

j-rivero commented 11 months ago

Tested Build Status

j-rivero commented 11 months ago

Fallure is unrelated to the change that seems to be passed fine.