Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

7 -> main #873

Merged
merged 6 commits into from
Jul 25, 2023
Merged

7 -> main #873

merged 6 commits into from
Jul 25, 2023

Conversation

iche033
Copy link
Contributor

@iche033 iche033 commented Jul 25, 2023

➡️ Forward port

Port gz-rendering7 to main

Branch comparison: main...gz-rendering7

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

ahcorde and others added 6 commits June 9, 2023 21:42
Signed-off-by: Alejandro Hernández Cordero <[email protected]>
Signed-off-by: Shameek Ganguly <[email protected]>
Co-authored-by: Ian Chen <[email protected]>
Signed-off-by: Ian Chen <[email protected]>
Co-authored-by: Michael Carroll <[email protected]>
@github-actions github-actions bot added the 🎵 harmonic Gazebo Harmonic label Jul 25, 2023
@codecov
Copy link

codecov bot commented Jul 25, 2023

Codecov Report

Merging #873 (e22380f) into main (e22380f) will not change coverage.
The diff coverage is n/a.

❗ Current head e22380f differs from pull request most recent head 46b7d86. Consider uploading reports for the commit 46b7d86 to get more accurate results

@@           Coverage Diff           @@
##             main     #873   +/-   ##
=======================================
  Coverage   75.02%   75.02%           
=======================================
  Files         176      176           
  Lines       16829    16829           
=======================================
  Hits        12626    12626           
  Misses       4203     4203           

@iche033 iche033 merged commit 67982c9 into main Jul 25, 2023
7 checks passed
@iche033 iche033 deleted the merge_7_main_20230725 branch July 25, 2023 23:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🎵 harmonic Gazebo Harmonic
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

4 participants