gazebosim / gz-launch

Run and manage programs and plugins.
https://gazebosim.org
Apache License 2.0
12 stars 17 forks source link

Merge: 7 -> main #235

Closed iche033 closed 1 year ago

iche033 commented 1 year ago

➡️ Forward port

Port gz-launch7 to main

Branch comparison: https://github.com/gazebosim/gz-launch/compare/main...gz-launch7

Note to maintainers: Remember to Merge with commit (not squash-merge or rebase)

codecov[bot] commented 1 year ago

Codecov Report

Merging #235 (03fac5b) into main (e770856) will increase coverage by 1.72%. Report is 12 commits behind head on main. The diff coverage is 100.00%.

@@            Coverage Diff             @@
##             main     #235      +/-   ##
==========================================
+ Coverage   56.90%   58.62%   +1.72%     
==========================================
  Files           3        3              
  Lines         413      423      +10     
==========================================
+ Hits          235      248      +13     
+ Misses        178      175       -3     
Files Coverage Δ
src/Manager.cc 55.78% <100.00%> (+2.05%) :arrow_up:

... and 2 files with indirect coverage changes

j-rivero commented 1 year ago

@osrf-jenkins run tests

j-rivero commented 1 year ago

@osrf-jenkins run tests