Closed nkoenig closed 2 years ago
Merging #200 (40a6483) into gz-launch6 (9fe4564) will not change coverage. The diff coverage is
n/a
.:exclamation: Current head 40a6483 differs from pull request most recent head 51cb7f4. Consider uploading reports for the commit 51cb7f4 to get more accurate results
@@ Coverage Diff @@
## gz-launch6 #200 +/- ##
===========================================
Coverage 56.90% 56.90%
===========================================
Files 3 3
Lines 413 413
===========================================
Hits 235 235
Misses 178 178
Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.
➡️ Forward port
Port ign-launch5 to gz-launch6
I believe the only difference is the Changelog, which should be safe to merge.
Branch comparison: https://github.com/gazebosim//compare/...
Note to maintainers: Remember to Merge with commit (not squash-merge or rebase)