Closed scpeters closed 1 year ago
Merging #414 (05d6849) into main (4a29c11) will not change coverage. The diff coverage is
100.00%
.:exclamation: Current head 05d6849 differs from pull request most recent head bfa1f0f. Consider uploading reports for the commit bfa1f0f to get more accurate results
@@ Coverage Diff @@
## main #414 +/- ##
=======================================
Coverage 87.45% 87.45%
=======================================
Files 60 60
Lines 5291 5291
=======================================
Hits 4627 4627
Misses 664 664
Impacted Files | Coverage Δ | |
---|---|---|
include/gz/transport/Discovery.hh | 84.64% <100.00%> (ø) |
@osrf-jenkins retest this please
@scpeters , I just merged a minor change in gz-transport12
in a separate PR.
@scpeters , I just merged a minor change in
gz-transport12
in a separate PR.
I just force-pushed a new merge commit that should include your changes, thanks for the heads up
➡️ Forward port
Port
gz-transport12
➡️main
Branch comparison: https://github.com/gazebosim/gz-transport/compare/main...gz-transport12
Note to maintainers: Remember to Merge with commit (not squash-merge or rebase)