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

open-mpi: update upstream issue ref #167579

Merged
merged 1 commit into from
Mar 30, 2024

Conversation

chenrui333
Copy link
Member

relates to #166807

  • Have you followed the guidelines for contributing?
  • Have you ensured that your commits follow the commit style guide?
  • Have you checked that there aren't other open pull requests for the same formula update/change?
  • Have you built your formula locally with HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>, where <formula> is the name of the formula you're submitting?
  • Is your test running fine brew test <formula>, where <formula> is the name of the formula you're submitting?
  • Does your build pass brew audit --strict <formula> (after doing HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>)? If this is a new formula, does it pass brew audit --new <formula>?

relates to #166807

Signed-off-by: Rui Chen <rui@chenrui.dev>
@chenrui333 chenrui333 added the CI-syntax-only Change only affects brew syntax, not the install. Only run syntax CI. label Mar 30, 2024
@chenrui333 chenrui333 requested a review from fxcoudert March 30, 2024 17:59
Copy link
Contributor

Hi, thanks for your contribution to Homebrew! You already have >=15 open pull requests, so please get them ready to be merged or close them before you open more. If CI fails on any of them, please fix it or ask for help doing so.
If you are performing simple version bumps, @BrewTestBot automatically bumps a list of formulae so you don't need to. Please take a look at issues and pull requests labelled help wanted Task(s) needing PRs from the community or maintainers and see if you can help to fix any of them. Thanks!

@github-actions github-actions bot added the CI-linux-self-hosted Build on Linux self-hosted runner label Mar 30, 2024
@chenrui333 chenrui333 mentioned this pull request Mar 30, 2024
@chenrui333 chenrui333 removed the CI-linux-self-hosted Build on Linux self-hosted runner label Mar 30, 2024
@chenrui333 chenrui333 added this pull request to the merge queue Mar 30, 2024
Merged via the queue into master with commit ba6fe5e Mar 30, 2024
18 checks passed
@chenrui333 chenrui333 deleted the open-mpi-update-upstream-issue-ref branch March 30, 2024 19:11
@github-actions github-actions bot added the outdated PR was locked due to age label Apr 30, 2024
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 30, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
CI-syntax-only Change only affects brew syntax, not the install. Only run syntax CI. outdated PR was locked due to age
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants