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

Post results in issue comment #2

Closed agutenkunst closed 3 years ago

agutenkunst commented 3 years ago

Description

Posts results in issue comment.

Collapsed: Screenshot from 2021-06-17 10-47-21

Open: Screenshot from 2021-06-17 10-47-35