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

Make moveit_servo listen to Octomap updates (backport #2601) #2607

Merged
merged 1 commit into from
Dec 15, 2023

Conversation

mergify[bot]
Copy link

@mergify mergify bot commented Dec 14, 2023

This is an automatic backport of pull request #2601 done by Mergify.


Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

  • @Mergifyio refresh will re-evaluate the rules
  • @Mergifyio rebase will rebase this PR on its base branch
  • @Mergifyio update will merge the base branch into this PR
  • @Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

  • look at your merge queues
  • generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com

* Start servo's world geometry monitor

* Typo fix

---------

Co-authored-by: Amal Nanavati <amaln@cs.washington.edu>
(cherry picked from commit 87d5945)
Copy link

codecov bot commented Dec 14, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (2ee72ae) 50.74% compared to head (6d1111b) 51.13%.

Additional details and impacted files
@@            Coverage Diff             @@
##             iron    #2607      +/-   ##
==========================================
+ Coverage   50.74%   51.13%   +0.39%     
==========================================
  Files         386      385       -1     
  Lines       31982    31986       +4     
==========================================
+ Hits        16227    16353     +126     
+ Misses      15755    15633     -122     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@sjahr sjahr enabled auto-merge (squash) December 14, 2023 16:04
@sjahr sjahr disabled auto-merge December 14, 2023 16:04
@henningkayser henningkayser merged commit 38cee78 into iron Dec 15, 2023
4 of 7 checks passed
@henningkayser henningkayser deleted the mergify/bp/iron/pr-2601 branch December 15, 2023 18:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants