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.

Sign up for GitHub

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

Jump to bottom

dist: More changelog updates for 4.1.7 #12874

Merged
merged 1 commit into from
Oct 21, 2024
Merged

dist: More changelog updates for 4.1.7 #12874

merged 1 commit into from
Oct 21, 2024

Conversation

bwbarrett
Copy link
Member

@bwbarrett bwbarrett commented Oct 21, 2024 •
edited
Loading

bot:notacherrypick

@bwbarrett bwbarrett self-assigned this Oct 21, 2024
@github-actions github-actions bot added this to the v4.1.7 milestone Oct 21, 2024
@github-actions GitHub Actions
Copy link

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

277097a: dist: More changelog updates for 4.1.7

  • 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!

@bwbarrett bwbarrett merged commit fb735c9 into open-mpi:v4.1.x Oct 21, 2024
11 of 12 checks passed
@bwbarrett bwbarrett deleted the v4.1.x-release branch October 21, 2024 23:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jsquyres jsquyres jsquyres approved these changes

Assignees

@bwbarrett bwbarrett

Labels
Target: v4.1.x
Projects
None yet
Milestone
v4.1.7
Development

Successfully merging this pull request may close these issues.
2 participants
@bwbarrett @jsquyres