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

[21100] Bump to v2.13.5 #4897

Merged
merged 1 commit into from
Jun 6, 2024
Merged

[21100] Bump to v2.13.5 #4897

merged 1 commit into from
Jun 6, 2024

Conversation

JesusPoderoso
Copy link
Contributor

@JesusPoderoso JesusPoderoso commented Jun 5, 2024

Description

This PR bumps the Fast DDS 2.13.x latest version to v2.13.5

NOTE: This PR must be merged right after:

Contributor Checklist

  • Commit messages follow the project guidelines.
  • N/A The code follows the style guidelines of this project.
  • 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 Any new/modified methods have been properly documented using Doxygen.
  • N/A Any new configuration API has an equivalent XML API (with the corresponding XSD extension)
  • N/A Changes are backport compatible: they do NOT break ABI nor change library core behavior.
  • N/A Changes are API compatible.
  • New feature has been added to the versions.md file (if applicable).
  • 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.

Signed-off-by: JesusPoderoso <[email protected]>
@JesusPoderoso JesusPoderoso added this to the v2.13.5 - Frozen milestone Jun 5, 2024
@elianalf elianalf self-requested a review June 6, 2024 05:40
@github-actions github-actions bot added the ci-pending PR which CI is running label Jun 6, 2024
@elianalf elianalf added the no-test Skip CI tests if PR marked with this label label Jun 6, 2024
@JesusPoderoso JesusPoderoso added ready-to-merge Ready to be merged. CI and changes have been reviewed and approved. and removed no-test Skip CI tests if PR marked with this label ci-pending PR which CI is running labels Jun 6, 2024
@MiguelCompany MiguelCompany merged commit 69874e1 into 2.13.x Jun 6, 2024
11 checks passed
@MiguelCompany MiguelCompany deleted the release/v2.13.5 branch June 6, 2024 14:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ready-to-merge Ready to be merged. CI and changes have been reviewed and approved.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants