Skip to content

Conversation

@EmmanuelBRELLE
Copy link
Contributor

Cherry-picking of PR 13557 onto v6.0.x branch
#13557

@github-actions github-actions bot added this to the v6.0.0 milestone Jan 5, 2026
@EmmanuelBRELLE EmmanuelBRELLE marked this pull request as ready for review January 5, 2026 12:07
@hppritcha hppritcha self-requested a review January 5, 2026 16:01
@hppritcha
Copy link
Member

ignoring borked up NVIDIA CI

@hppritcha hppritcha merged commit d5d4797 into open-mpi:v6.0.x Jan 5, 2026
13 of 14 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