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

[22591] Allow run CI on external contributions #1013

Merged
merged 1 commit into from
Jan 16, 2025
Merged

Conversation

Mario-DL
Copy link
Member

@Mario-DL Mario-DL commented Jan 10, 2025

Description

This PR is a port from eProsima/Fast-DDS#5220 to the Fast DDS Docs repository. It makes PR labeling based on workflow input.

@Mergifyio backport 3.1.x 3.0.x 2.14.x 2.10.x

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.

@Mario-DL Mario-DL added this to the v3.2.0 milestone Jan 10, 2025
@Mario-DL Mario-DL requested review from richiprosima and removed request for richiprosima January 10, 2025 10:50
@MiguelCompany MiguelCompany self-requested a review January 16, 2025 10:12
Copy link
Member

@MiguelCompany MiguelCompany left a comment

Choose a reason for hiding this comment

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

LGTM with green CI

@MiguelCompany MiguelCompany merged commit f0cc847 into master Jan 16, 2025
4 of 5 checks passed
@MiguelCompany MiguelCompany deleted the feature/22591 branch January 16, 2025 10:51
@MiguelCompany
Copy link
Member

@Mergifyio backport 3.1.x 3.0.x 2.14.x 2.10.x

Copy link

mergify bot commented Jan 16, 2025

backport 3.1.x 3.0.x 2.14.x 2.10.x

✅ Backports have been created

mergify bot pushed a commit that referenced this pull request Jan 16, 2025
Signed-off-by: Mario Dominguez <[email protected]>
(cherry picked from commit f0cc847)
mergify bot pushed a commit that referenced this pull request Jan 16, 2025
Signed-off-by: Mario Dominguez <[email protected]>
(cherry picked from commit f0cc847)
mergify bot pushed a commit that referenced this pull request Jan 16, 2025
Signed-off-by: Mario Dominguez <[email protected]>
(cherry picked from commit f0cc847)
mergify bot pushed a commit that referenced this pull request Jan 16, 2025
Signed-off-by: Mario Dominguez <[email protected]>
(cherry picked from commit f0cc847)
MiguelCompany pushed a commit that referenced this pull request Jan 21, 2025
Signed-off-by: Mario Dominguez <[email protected]>
(cherry picked from commit f0cc847)

Co-authored-by: Mario Domínguez López <[email protected]>
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