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 v4.0.3 #193

Merged
merged 1 commit into from
Dec 18, 2024
Merged

[22497] Regenerate types with Fast DDS Gen v4.0.3 #193

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 regenerates types with Fast DDS Gen v4.0.3

Contributor Checklist

  • Commit messages follow the project guidelines.
  • Changes do not break current interoperability.
  • 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.
  • CI passes without warnings or errors.

@Mario-DL
Refs #22497: Regenerate types with Fast DDS Gen v4.0.3
d7d8f93 
Signed-off-by: Mario Dominguez <mariodominguez@eprosima.com>
@Mario-DL Mario-DL added this to the v3.2.0 milestone Dec 18, 2024
@MiguelCompany MiguelCompany self-requested a review December 18, 2024 11:15
@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 added ready-to-merge Ready to be merged. CI and changes have been reviewed and approved. and removed ci-pending PR which CI is running labels Dec 18, 2024
@MiguelCompany MiguelCompany merged commit cb8046d into master Dec 18, 2024
4 checks passed
@MiguelCompany MiguelCompany deleted the gen-update/4.0.3/master branch December 18, 2024 11:45
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
ready-to-merge Ready to be merged. CI and changes have been reviewed and approved.
Projects
None yet
Milestone
v3.2.0
Development

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