Add --ros-distro batch job argument from CI parameter.#455

Merged

nuclearsandwich merged 2 commits intomasterfrom add-ros-distro-parameter-arg

Jul 9, 2020

+15

Commits on May 20, 2020

Add --ros-distro batch job argument from CI parameter.
nuclearsandwich
committed
Make the parameter required rather than set a default.
nuclearsandwich
committed