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

Merge: 12 -> 13 #445

Merged
merged 2 commits into from
Sep 26, 2023
Merged

Merge: 12 -> 13 #445

merged 2 commits into from
Sep 26, 2023

Conversation

iche033
Copy link
Contributor

@iche033 iche033 commented Sep 26, 2023

➡️ Forward port

Port gz-transport12 to gz-transport13

Branch comparison: gz-transport13...gz-transport12

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

azeey and others added 2 commits September 26, 2023 17:02
Signed-off-by: Addisu Z. Taddese <addisu@openrobotics.org>
Signed-off-by: Ian Chen <ichen@openrobotics.org>
@iche033 iche033 changed the title Merge 12 13 20230926 Merge: 12 -> 13 Sep 26, 2023
@github-actions github-actions bot added the 🎵 harmonic Gazebo Harmonic label Sep 26, 2023
@codecov
Copy link

codecov bot commented Sep 26, 2023

Codecov Report

Merging #445 (de88ef4) into gz-transport13 (34079d0) will not change coverage.
The diff coverage is n/a.

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

@@               Coverage Diff               @@
##           gz-transport13     #445   +/-   ##
===============================================
  Coverage           87.76%   87.76%           
===============================================
  Files                  59       59           
  Lines                5696     5696           
===============================================
  Hits                 4999     4999           
  Misses                697      697           

@iche033 iche033 merged commit e2e09b3 into gz-transport13 Sep 26, 2023
10 of 12 checks passed
@iche033 iche033 deleted the merge_12_13_20230926 branch September 26, 2023 22:43
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.

2 participants