Skip to content

Conversation

@janjust
Copy link
Contributor

@janjust janjust commented May 12, 2025

bot:notacherrypick

@github-actions github-actions bot added this to the v5.0.8 milestone May 12, 2025
@github-actions
Copy link

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

4c729da: v5.0.x: update pmix/prrte ptrs to official release...

  • check_signed_off: does not contain a valid Signed-off-by line

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

@janjust janjust merged commit 15452ae into open-mpi:v5.0.x May 12, 2025
15 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