Skip to content

[23520] Prepare for v4.2.0#515

Merged
MiguelCompany merged 2 commits into
masterfrom
release/4.2.0
Oct 2, 2025
Merged

[23520] Prepare for v4.2.0#515
MiguelCompany merged 2 commits into
masterfrom
release/4.2.0

Conversation

@MiguelCompany

@MiguelCompany MiguelCompany commented Oct 1, 2025

Copy link
Copy Markdown
Member

Description

Version bump done in #510

Code regeneration PRs:

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.

Signed-off-by: Miguel Company <miguelcompany@eprosima.com>
Signed-off-by: Miguel Company <miguelcompany@eprosima.com>
@MiguelCompany MiguelCompany changed the title Prepare for v4.2.0 [23520] Prepare for v4.2.0 Oct 1, 2025
@MiguelCompany MiguelCompany added this to the v4.2.0 milestone Oct 1, 2025
@MiguelCompany MiguelCompany marked this pull request as ready for review October 1, 2025 13:54
@github-actions github-actions Bot added the ci-pending PR which CI is running label Oct 2, 2025
@MiguelCompany MiguelCompany merged commit 4d702c1 into master Oct 2, 2025
5 of 7 checks passed
@MiguelCompany MiguelCompany deleted the release/4.2.0 branch October 2, 2025 12:30
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.

2 participants