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

Ignore MoveIt and MoveIt Core Packages from docs Imports #859

Merged
merged 7 commits into from
Jan 16, 2024

Conversation

eholum
Copy link

@eholum eholum commented Jan 16, 2024

Description

I think @Abishalini was on the right track with #857, we may just need to explicitly exclude the core package under moveit.

Checklist

  • Required by CI: Code is auto formatted using clang-format
  • While waiting for someone to review your request, please consider reviewing another open pull request to support the maintainers

@eholum eholum self-assigned this Jan 16, 2024
@eholum eholum force-pushed the fix-mocked-moveit-imports branch from 2574e34 to bf45879 Compare January 16, 2024 19:08
@eholum eholum changed the base branch from main to humble January 16, 2024 19:09
@eholum eholum force-pushed the fix-mocked-moveit-imports branch from bf45879 to 4370d16 Compare January 16, 2024 19:35
@eholum eholum changed the base branch from humble to main January 16, 2024 19:35
Copy link
Contributor

@sea-bass sea-bass left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

SEND IT

@sea-bass sea-bass marked this pull request as ready for review January 16, 2024 21:28
@sea-bass sea-bass merged commit 558cd55 into moveit:main Jan 16, 2024
9 checks passed
sjahr pushed a commit that referenced this pull request Jan 17, 2024
* Ignore MoveIt and MoveIt Core Packages from docs Imports (#859)

* Manually copy entire Python bindings docs folder instead of just `api.html` (#860)

* Use main branch to build humble

* Formatting

---------

Co-authored-by: Erik Holum <erik.holum@picknik.ai>
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.

2 participants