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

2 participants