Skip to content

Conversation

@wenduwan
Copy link
Contributor

bot:notacherrypick

wenduwan added 2 commits July 22, 2024 13:13
bot:notacherrypick

This reverts commit c3498bc.

Signed-off-by: Wenduo Wang <[email protected]>
Increase CI coverage to prevent open-mpi#12693

Signed-off-by: Wenduo Wang <[email protected]>
(cherry picked from commit fcf7e16)
@wenduwan wenduwan requested a review from jsquyres July 22, 2024 20:18
@github-actions github-actions bot added this to the v5.0.5 milestone Jul 22, 2024
bot:notacherrypick

Signed-off-by: Wenduo Wang <[email protected]>
bot:notacherrypick

Update docs/release-notes/changelog/v5.0.x.rst

Co-authored-by: Jeff Squyres <[email protected]>
Signed-off-by: Wenduo Wang <[email protected]>
@wenduwan wenduwan force-pushed the v5.0.x_backport_pr12696 branch from 0acc690 to 6766ca0 Compare July 22, 2024 21:14
@wenduwan
Copy link
Contributor Author

+ /bin/bash -x .ci/community-jenkins/pr-builder.sh --configure-args '"--enable-ipv6"' ompi

/bin/bash: .ci/community-jenkins/pr-builder.sh: No such file or directory

script returned exit code 127

@wenduwan
Copy link
Contributor Author

bot:aws:retest

@wenduwan wenduwan merged commit ca64c52 into open-mpi:v5.0.x Jul 22, 2024
@wenduwan wenduwan deleted the v5.0.x_backport_pr12696 branch July 22, 2024 23:13
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