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

Fixed message when parameter was found #595

Merged
merged 1 commit into from
Aug 6, 2021
Merged

Conversation

gstavrinos
Copy link
Contributor

The informational message referred to the default value even though the parameter was changed internally.

@codecov
Copy link

codecov bot commented Aug 6, 2021

Codecov Report

Merging #595 (9d49da5) into main (00b8c17) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main     #595   +/-   ##
=======================================
  Coverage   46.97%   46.97%           
=======================================
  Files         185      185           
  Lines       19657    19657           
=======================================
  Hits         9231     9231           
  Misses      10426    10426           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 00b8c17...9d49da5. Read the comment docs.

@AndyZe AndyZe merged commit db371e0 into moveit:main Aug 6, 2021
christianlandgraf pushed a commit to christianlandgraf/moveit2 that referenced this pull request Aug 12, 2021
tylerjw pushed a commit to tylerjw/moveit2 that referenced this pull request Aug 27, 2021
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.

None yet

3 participants