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: add two version of the libraries (with or without parallelism baked in). #3312

Merged
merged 12 commits into from
Dec 5, 2024

Conversation

lperron
Copy link
Contributor

@lperron lperron commented Dec 3, 2024

This breaks when running SCIP in a java env

@bazel-io
Copy link
Member

bazel-io commented Dec 3, 2024

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

@lperron
Copy link
Contributor Author

lperron commented Dec 3, 2024

please add the @bazel-io skip_check unstable_url tag

@lperron lperron changed the title force sequential SCIP SCIP: add two version of the libraries (with or without parallelism baked in). Dec 3, 2024
mering
mering previously approved these changes Dec 4, 2024
Copy link
Contributor

@mering mering left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for making the patch more maintainable!

modules/scip/9.2.0.bcr.1/patches/add_githash_c.patch Outdated Show resolved Hide resolved
@bazel-io bazel-io dismissed mering’s stale review December 4, 2024 12:31

Require module maintainers' approval for newly pushed changes.

@lperron
Copy link
Contributor Author

lperron commented Dec 4, 2024

don't forget to add the @bazel-io skip_check unstable_url tag

@lperron
Copy link
Contributor Author

lperron commented Dec 4, 2024

Hi, can you get it merged?

@mering
Copy link
Contributor

mering commented Dec 5, 2024

@meteorcloudy could you PTAL? Thanks!

@meteorcloudy
Copy link
Member

@bazel-io skip_check unstable_url

@bazel-io bazel-io added the skip-url-stability-check Skip the URL stability check for the PR label Dec 5, 2024
@meteorcloudy
Copy link
Member

@mering You can also leave a comment like this and the bot would add the label to this PR.

@meteorcloudy meteorcloudy added the presubmit-auto-run Presubmit jobs will be triggered for new changes automatically without reviewer's approval label Dec 5, 2024
@meteorcloudy
Copy link
Member

Please take a look at the patch failure

@lperron
Copy link
Contributor Author

lperron commented Dec 5, 2024

All done. Tests are successful.

@meteorcloudy meteorcloudy merged commit 08bce1c into bazelbuild:main Dec 5, 2024
19 checks passed
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.

4 participants