Skip to content

scip: add boost dependency #217083

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

Merged
merged 2 commits into from
Mar 29, 2025
Merged

scip: add boost dependency #217083

merged 2 commits into from
Mar 29, 2025

Conversation

stefanb
Copy link
Member

@stefanb stefanb commented Mar 29, 2025

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

In

linkage check reported:

brew linkage --cached --test --strict scip failed on macOS Ventura (13)!
boost

@github-actions github-actions bot added the boost Boost use is a significant feature of the PR or issue label Mar 29, 2025
@fxcoudert
Copy link
Member

If there is linkage, it means it's a runtime dep, doesn't it?

In
* #216789

linkage check reported:
> `brew linkage --cached --test --strict scip` failed on macOS Ventura (13)!
  boost
Copy link
Contributor

🤖 An automated task has requested bottles to be published to this PR.

Please do not push to this PR branch before the bottle commits have been pushed, as this results in a state that is difficult to recover from. If you need to resolve a merge conflict, please use a merge commit. Do not force-push to this PR branch.

@github-actions github-actions bot added the CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. label Mar 29, 2025
@BrewTestBot BrewTestBot enabled auto-merge March 29, 2025 11:07
@BrewTestBot BrewTestBot added this pull request to the merge queue Mar 29, 2025
Merged via the queue into master with commit 7a6c4d6 Mar 29, 2025
14 checks passed
@BrewTestBot BrewTestBot deleted the scip-linkage branch March 29, 2025 11:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
boost Boost use is a significant feature of the PR or issue CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants