Skip to content

Conversation

mergify[bot]
Copy link

@mergify mergify bot commented Sep 16, 2025

Description

Fast DDS Docs CI does not compile with warnings as errors enabled, so relevant warnings (e.g: deprecation warnings) are ignored. This PR fixes it.

@Mergifyio backport 3.3.x 3.2.x 2.14.x

Merge after:

Contributor Checklist

  • Commit messages follow the project guidelines.
  • N/A Code snippets related to the added documentation have been provided.
  • _N/A: Documentation tests pass locally.
  • 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.

This is an automatic backport of pull request #1103 done by [Mergify](https://mergify.com).

Signed-off-by: Carlosespicur <carlosespicur@proton.me>
(cherry picked from commit 66348dc)

# Conflicts:
#	.github/workflows/config/build.meta
@mergify mergify bot added the conflicts label Sep 16, 2025
Copy link
Author

mergify bot commented Sep 16, 2025

Cherry-pick of 66348dc has failed:

On branch mergify/bp/2.14.x/pr-1103
Your branch is up to date with 'origin/2.14.x'.

You are currently cherry-picking commit 66348dc.
  (fix conflicts and run "git cherry-pick --continue")
  (use "git cherry-pick --skip" to skip this patch)
  (use "git cherry-pick --abort" to cancel the cherry-pick operation)

Unmerged paths:
  (use "git add <file>..." to mark resolution)
	both modified:   .github/workflows/config/build.meta

no changes added to commit (use "git add" and/or "git commit -a")

To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally

@mergify mergify bot mentioned this pull request Sep 16, 2025
6 tasks
@MiguelCompany MiguelCompany added this to the v2.14.6 milestone Sep 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants