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

[21129] Migrate fastrtps namespace to fastdds #350

Merged
merged 1 commit into from
Jun 18, 2024

Conversation

elianalf
Copy link
Contributor

@elianalf elianalf commented Jun 10, 2024

Description

This PR migrates fastrtps namespace to fastdds.
Related Fast DDS PR:

Contributor Checklist

  • Commit messages follow the project guidelines.
  • N/A Tests that thoroughly check the new feature have been added/Regression tests checking the bug and its fix have been added; the added tests pass locally
  • N/A New feature has been documented/Current behavior is correctly described in the documentation.
  • N/A Applicable backports have been included in the description.

Reviewer Checklist

  • The PR has a milestone assigned.
  • The title and description correctly express the PR's purpose.
  • Check contributor checklist is correct.
  • Check CI results: changes do not issue any warning.
  • Check CI results: failing tests are unrelated with the changes.

@EduPonz EduPonz force-pushed the feature/migrate_fastrtps_namespace branch from d636150 to 5fd266e Compare June 17, 2024 09:47
@EduPonz EduPonz merged commit ac2d6d6 into master Jun 18, 2024
4 checks passed
@EduPonz EduPonz deleted the feature/migrate_fastrtps_namespace branch June 18, 2024 07:13
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