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

V5.0.x backport pr12696 #12699

Closed
wants to merge 2 commits into from

Conversation

wenduwan
Copy link
Contributor

Prepare for v5.0.5 fast-follow release.

@wenduwan wenduwan requested review from jsquyres and bosilca July 22, 2024 19:58
@github-actions github-actions bot added this to the v5.0.5 milestone Jul 22, 2024
@wenduwan
Copy link
Contributor Author

@bosilca This change temporarily reverts #12697 so we can do a quick release to fix the Mac+ARM build. I will re-apply the change afterwards.

@wenduwan wenduwan force-pushed the v5.0.x_backport_pr12696 branch from 3efa1b8 to 08a909b Compare July 22, 2024 20:02
@open-mpi open-mpi deleted a comment from github-actions bot Jul 22, 2024
@wenduwan wenduwan force-pushed the v5.0.x_backport_pr12696 branch from 08a909b to 0b71e2d Compare July 22, 2024 20:03
@open-mpi open-mpi deleted a comment from github-actions bot Jul 22, 2024
Copy link

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

0b71e2d: Revert "Check that requests belong to similar sess...

  • check_cherry_pick: does not include a cherry pick message (did you need to bot:notacherrypick?)

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

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 force-pushed the v5.0.x_backport_pr12696 branch from 0b71e2d to 2196d01 Compare July 22, 2024 20:13
Copy link

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

ade590b: Revert "Check that requests belong to similar sess...

  • check_cherry_pick: does not include a cherry pick message (did you need to bot:notacherrypick?)

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

@wenduwan wenduwan closed this Jul 22, 2024
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.

1 participant