Skip to content

[22800] Bump version to 3.1.3 #210

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

Merged
merged 1 commit into from
Jun 10, 2025
Merged

[22800] Bump version to 3.1.3 #210

merged 1 commit into from
Jun 10, 2025

Conversation

Mario-DL
Copy link
Member

@Mario-DL Mario-DL commented Jun 6, 2025

Description

Contributor Checklist

  • Commit messages follow the project guidelines.
  • N/A 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 Mario-DL added this to the v3.1.3 - Frozen ❄️ milestone Jun 6, 2025
@Javgilavi Javgilavi self-requested a review June 9, 2025 12:37
@github-actions github-actions bot added the ci-pending PR which CI is running label Jun 9, 2025
@Javgilavi
Copy link

LGTM.

Next commit should be the update of fastdds and shapes-demo versions to v3.1.3 on shapes-demo-ros2.repos and shapes-demo.repos

Signed-off-by: Mario Dominguez <mariodominguez@eprosima.com>
@Mario-DL Mario-DL requested review from Javgilavi and removed request for Javgilavi June 10, 2025 06:05
Copy link

@Javgilavi Javgilavi left a comment

Choose a reason for hiding this comment

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

LGTM

@MiguelCompany MiguelCompany merged commit 2a2315f into 3.1.x Jun 10, 2025
4 checks passed
@MiguelCompany MiguelCompany deleted the release/3.1.3 branch June 10, 2025 06:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci-pending PR which CI is running
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants