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

Add missing typing hints to articulated agent manager. #1977

Merged
merged 1 commit into from
Jun 6, 2024

Conversation

0mdc
Copy link
Contributor

@0mdc 0mdc commented Jun 4, 2024

Motivation and Context

This adds missing typing hints to the articulated agent manager.

How Has This Been Tested

N/A

Types of changes

  • [Docs change] Addition or changes to the documentation

Checklist

  • My code follows the code style of this project.
  • I have updated the documentation if required.
  • I have read the CONTRIBUTING document.
  • I have completed my CLA (see CONTRIBUTING)
  • I have added tests to cover my changes if required.

@0mdc 0mdc requested review from aclegg3 and xavierpuigf June 4, 2024 21:53
@facebook-github-bot facebook-github-bot added the CLA Signed Do not delete this pull request or issue due to inactivity. label Jun 4, 2024
@0mdc 0mdc merged commit 0bb402a into main Jun 6, 2024
4 checks passed
@0mdc 0mdc deleted the 0mdc/articulated_agent_manager_typing branch June 6, 2024 16:33
dannymcy pushed a commit to dannymcy/habitat-lab that referenced this pull request Jun 26, 2024
dannymcy pushed a commit to dannymcy/habitat-lab that referenced this pull request Jul 8, 2024
dannymcy pushed a commit to dannymcy/habitat-lab that referenced this pull request Jul 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CLA Signed Do not delete this pull request or issue due to inactivity.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants