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

[22497] Regenerate types with Fast DDS Gen 4.0.3 #202

Merged
merged 1 commit into from
Dec 18, 2024
Merged

[22497] Regenerate types with Fast DDS Gen 4.0.3 #202

merged 1 commit into from
Dec 18, 2024

Conversation

Mario-DL
Copy link
Member

@Mario-DL Mario-DL commented Dec 18, 2024 •
edited by MiguelCompany
Loading

Description

This PR updates the generated types with Fast DDS Gen v4.0.3

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
  • Changes are API compatible.
  • 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.

@Mario-DL Mario-DL added this to the v2.1.1 milestone Dec 18, 2024
@Mario-DL Mario-DL requested review from MiguelCompany and removed request for MiguelCompany December 18, 2024 13:54
@github-actions github-actions bot added the ci-pending PR which CI is running label Dec 18, 2024
@MiguelCompany MiguelCompany mentioned this pull request Dec 18, 2024
Merged
4 tasks
MiguelCompany
MiguelCompany approved these changes Dec 18, 2024
View reviewed changes
Copy link
Member

@MiguelCompany MiguelCompany left a comment

Choose a reason for hiding this comment

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

LGTM with green CI

@Mario-DL Mario-DL merged commit 88458dc into main Dec 18, 2024
6 checks passed
@Mario-DL Mario-DL deleted the gen-update/4.0.3/main branch December 18, 2024 14:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@MiguelCompany MiguelCompany MiguelCompany approved these changes

Assignees
No one assigned
Labels
ci-pending PR which CI is running
Projects
None yet
Milestone
v2.1.1
Development

Successfully merging this pull request may close these issues.
2 participants
@Mario-DL @MiguelCompany