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.

Sign up for GitHub

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

Jump to bottom

Adds publish_map to the RobotSession #45

Merged
merged 1 commit into from
Mar 8, 2024
Merged

Adds publish_map to the RobotSession #45

merged 1 commit into from
Mar 8, 2024

Conversation

russell-inorbit
Copy link
Contributor

Your checklist for this pull request

🚨Please review the guidelines for contributing to this repository.

  • Make sure you are requesting to pull a topic/feature/bugfix branch (right side). Don't request your main!
  • Make sure you are making a pull request against the main branch (left side). Also you should start your branch off our main.
  • Check your code additions will fail neither code linting checks nor unit test.

Description

Adds publish_map to the RobotSession

@russell-inorbit russell-inorbit merged commit 22007f4 into main Mar 8, 2024
17 checks passed
@russell-inorbit russell-inorbit deleted the feature/maps branch March 8, 2024 13:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@leandropineda leandropineda leandropineda approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@russell-inorbit @leandropineda