Do not throw away default ROS_DISTRO

PilzDE / pilz_github_ci_runner

ros package to run a CI for github pull requests with checks for certain requirements

1 stars 0 forks source link

Closed martiniil closed 2 years ago

martiniil commented 2 years ago

Once the env ROS_DISTROis overwritten from the .yaml-file, the new value is the default.

The default ROS_DISTROis kept for the future.