Skip to content

Conversation

@janjust
Copy link
Contributor

@janjust janjust commented Feb 14, 2025

Update to HEAD of pmix v5.0 and prrte v3.0
bot:notacherrypick

Signed-off-by: Tomislav Janjusic <[email protected]>
@janjust janjust requested a review from edgargabriel February 14, 2025 22:40
@github-actions github-actions bot added this to the v5.0.8 milestone Feb 14, 2025
@janjust janjust requested a review from bosilca February 18, 2025 22:00
@janjust
Copy link
Contributor Author

janjust commented Feb 20, 2025

@edgargabriel @bosilca can I get a thumbs up on this one?

@janjust janjust merged commit c1d3071 into open-mpi:v5.0.x Feb 21, 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