Skip to content

Conversation

@janjust
Copy link
Contributor

@janjust janjust commented Oct 15, 2025

bot:notacherrypick

Signed-off-by: Tomislav Janjusic <tomislavj@nvidia.com>
@janjust janjust requested a review from bosilca October 15, 2025 19:21
@github-actions github-actions bot added this to the v5.0.8 milestone Oct 15, 2025
@github-actions
Copy link

Hello! The Git Commit Checker CI bot found a few problems with this PR:

37bf448: v5.0.x: prepare v5.0.9rc2 release

  • check_cherry_pick: does not include a cherry pick message (did you need to bot:notacherrypick?)

Please fix these problems and, if necessary, force-push new commits back up to the PR branch. Thanks!

@janjust janjust merged commit e982ef6 into open-mpi:v5.0.x Oct 15, 2025
17 of 18 checks passed
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