Skip to content

PRBT IkFast patch from robostack (backport #2395) - #2397

Merged
tylerjw merged 1 commit into
humblefrom
mergify/bp/humble/pr-2395
Sep 29, 2023
Merged

PRBT IkFast patch from robostack (backport #2395)#2397
tylerjw merged 1 commit into
humblefrom
mergify/bp/humble/pr-2395

Conversation

@mergify

@mergify mergify Bot commented Sep 29, 2023

Copy link
Copy Markdown

This is an automatic backport of pull request #2395 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

@codecov

codecov Bot commented Sep 29, 2023

Copy link
Copy Markdown

Codecov Report

All modified lines are covered by tests ✅

Comparison is base (94b4bc2) 50.94% compared to head (7f3bf5c) 50.95%.

Additional details and impacted files
@@            Coverage Diff             @@
##           humble    #2397      +/-   ##
==========================================
+ Coverage   50.94%   50.95%   +0.01%     
==========================================
  Files         382      382              
  Lines       31889    31889              
==========================================
+ Hits        16242    16245       +3     
+ Misses      15647    15644       -3     

see 1 file with indirect coverage changes

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

@tylerjw
tylerjw merged commit 5dd0d5e into humble Sep 29, 2023
@tylerjw
tylerjw deleted the mergify/bp/humble/pr-2395 branch September 29, 2023 17:42
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.

1 participant