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

Allow pick of already tested prs #7

Closed rfeistenauer closed 3 years ago

rfeistenauer commented 3 years ago

Description