Skip to content
New issue

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

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

Already on GitHub? # to your account

Bumps in ionic : ci_matching_branch/bump_ionic_gz-gui9 #588

Merged
merged 4 commits into from
Oct 17, 2023

Conversation

azeey
Copy link
Contributor

@azeey azeey commented Oct 16, 2023

azeey added 4 commits October 16, 2023 17:24
Signed-off-by: Addisu Z. Taddese <addisu@openrobotics.org>
Signed-off-by: Addisu Z. Taddese <addisu@openrobotics.org>
Signed-off-by: Addisu Z. Taddese <addisu@openrobotics.org>
Signed-off-by: Addisu Z. Taddese <addisu@openrobotics.org>
@azeey
Copy link
Contributor Author

azeey commented Oct 17, 2023

@osrf-jenkins run tests please

@azeey azeey marked this pull request as ready for review October 17, 2023 20:24
@azeey azeey requested a review from jennuine as a code owner October 17, 2023 20:24
@codecov
Copy link

codecov bot commented Oct 17, 2023

Codecov Report

Merging #588 (f28a8c3) into main (16f74cd) will not change coverage.
The diff coverage is n/a.

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

@@           Coverage Diff           @@
##             main     #588   +/-   ##
=======================================
  Coverage   68.07%   68.07%           
=======================================
  Files          38       38           
  Lines        5369     5369           
=======================================
  Hits         3655     3655           
  Misses       1714     1714           
Files Coverage Δ
src/plugins/world_control/WorldControl.cc 72.66% <ø> (ø)

@azeey azeey requested a review from iche033 October 17, 2023 21:14
@azeey azeey merged commit a583fa6 into main Oct 17, 2023
@azeey azeey deleted the ci_matching_branch/bump_ionic_gz-gui9 branch October 17, 2023 22:43
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants