Feature/dry run - Githubissues

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 agutenkunst closed 2 years ago

agutenkunst commented 2 years ago

Adds flag --dry-run for running without creating comments on the PR. Useful for testing.