Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Prepare for v5.0.5 quick follow-up release #12700

Merged
merged 4 commits into from
Jul 22, 2024

Conversation

wenduwan
Copy link
Contributor

bot:notacherrypick

bot:notacherrypick

This reverts commit c3498bc.

Signed-off-by: Wenduo Wang <wenduwan@amazon.com>
Increase CI coverage to prevent open-mpi#12693

Signed-off-by: Wenduo Wang <wenduwan@amazon.com>
(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 <wenduwan@amazon.com>
bot:notacherrypick

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

Co-authored-by: Jeff Squyres <jsquyres@users.noreply.github.com>
Signed-off-by: Wenduo Wang <wenduwan@amazon.com>
@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
15 checks passed
@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