Closed tfoote closed 6 months ago
Fixed in #355
FYI @rkent Github will cross link if you put the issue ID in the body but not in the Title. And if you say Fixes #XXX
in a pull request body github will auto close the issue when the PR is merged.
Thanks for the feedback!
From my testing everything is reporting:
'No Continuous Integration'
For example: https://index.ros.org/p/roscpp/ which definitely has CI enabled.