search

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

Fix import #14

Closed agutenkunst closed 2 years ago

agutenkunst commented 2 years ago

Fix import. Noticed with catkin_make.