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

Change default rviz location #1316

Merged
merged 1 commit into from
Jun 3, 2022

Conversation

DLu
Copy link
Contributor

@DLu DLu commented Jun 3, 2022

Description

IT BELONGS IN A MUSEUM THE CONFIG FOLDER

Checklist

  • Required by CI: Code is auto formatted using clang-format
  • Extend the tutorials / documentation reference
  • Document API changes relevant to the user in the MIGRATION.md notes
  • Create tests, which fail without this PR reference
  • Include a screenshot if changing a GUI
  • While waiting for someone to review your request, please help review another open pull request to support the maintainers

@codecov
Copy link

codecov bot commented Jun 3, 2022

Codecov Report

Merging #1316 (f461cf4) into main (7427a8e) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #1316   +/-   ##
=======================================
  Coverage   61.47%   61.47%           
=======================================
  Files         274      274           
  Lines       24940    24940           
=======================================
  Hits        15329    15329           
  Misses       9611     9611           

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 7427a8e...f461cf4. Read the comment docs.

@JafarAbdi JafarAbdi merged commit 07279af into moveit:main Jun 3, 2022
@DLu DLu deleted the change_default_rviz_location branch June 10, 2022 13:31
@DLu DLu mentioned this pull request Jun 10, 2022
6 tasks
peterdavidfagan pushed a commit to peterdavidfagan/moveit2 that referenced this pull request Jul 14, 2022
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

2 participants