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

Add option to specify ROS_DISTRO using .pilz_github_ci_runner.yml #16

Closed agutenkunst closed 2 years ago

agutenkunst commented 2 years ago

Allows specifying the ROS_DISTRO by creating the file .pilz_github_ci_runner.yml with the conents:

ROS_DISTRO: <your_distro>

e.g.

ROS_DISTRO: kinetic

it will override the variable if the runner was startet with a defined ROS_DISTRO which then acts a default if a .pilz_github_ci_runner.yml is not present. Thus is fully backwards compatible.