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

Scip: change underlying LP solver to the official soplex; add scip_interactive binary; add myself as maintainer #3524

Merged
merged 7 commits into from
Jan 2, 2025

Conversation

lperron
Copy link
Contributor

@lperron lperron commented Jan 2, 2025

No description provided.

@bazel-io
Copy link
Member

bazel-io commented Jan 2, 2025

Hello @bazelbuild/bcr-maintainers, modules without existing maintainers (scip) have been updated in this PR. Please review the changes.

@lperron lperron changed the title Scip: change underlying LP solver to the official soplex; add scip_interactive binary Scip: change underlying LP solver to the official soplex; add scip_interactive binary; add myself as maintainer Jan 2, 2025
@fmeum fmeum added presubmit-auto-run Presubmit jobs will be triggered for new changes automatically without reviewer's approval skip-url-stability-check Skip the URL stability check for the PR labels Jan 2, 2025
fmeum
fmeum previously approved these changes Jan 2, 2025
modules/scip/9.2.0.bcr.3/overlay/BUILD.bazel Outdated Show resolved Hide resolved
modules/scip/9.2.0.bcr.3/overlay/BUILD.bazel Outdated Show resolved Hide resolved
modules/scip/9.2.0.bcr.3/overlay/BUILD.bazel Outdated Show resolved Hide resolved
@bazel-io bazel-io dismissed fmeum’s stale review January 2, 2025 21:05

Require module maintainers' approval for newly pushed changes.

@fmeum fmeum merged commit 0729f89 into bazelbuild:main Jan 2, 2025
19 checks passed
fmeum pushed a commit that referenced this pull request Jan 2, 2025
@lperron lperron deleted the scip branch January 2, 2025 21:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
presubmit-auto-run Presubmit jobs will be triggered for new changes automatically without reviewer's approval skip-url-stability-check Skip the URL stability check for the PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants