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

Update dependency cryptominisat to v5.11.22 #381

Closed
wants to merge 1 commit into from

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Aug 11, 2023

Mend Renovate

This PR contains the following updates:

Package Type Update Change
cryptominisat http_archive patch 5.11.11 -> 5.11.22

Release Notes

msoos/cryptominisat (cryptominisat)

v5.11.22: CryptoMiniSat 5.11.22

Compare Source

Fixed a number of small, but annoying bugs.

v5.11.21: CryptoMiniSat 5.11.21

Compare Source

New release that disables the possibility of including experimental libraries.

v5.11.20: CryptoMiniSat 5.11.20

Compare Source

New release with new build system that does not need boost

v5.11.15: CryptoMiniSat 5.11.15

Compare Source

Fixing Windows build that was broken due to picosat.

v5.11.14: CryptoMiniSat 5.11.14

Compare Source

A new release to fix issues with pycryptominisat.

v5.11.13

Compare Source

v5.11.12: CryptoMiniSat 5.11.12

Compare Source

New, minor fix release


Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

This PR was generated by Mend Renovate. View the repository job log.


This change is Reviewable

@renovate renovate bot changed the title chore(deps): update dependency cryptominisat to v5.11.12 Update dependency cryptominisat to v5.11.12 Sep 15, 2023
@renovate renovate bot changed the title Update dependency cryptominisat to v5.11.12 Update dependency cryptominisat to v5.11.14 Sep 22, 2023
@renovate renovate bot force-pushed the renovate/cryptominisat-5.x branch from a970e5c to a543376 Compare September 22, 2023 00:59
@renovate renovate bot changed the title Update dependency cryptominisat to v5.11.14 Update dependency cryptominisat to v5.11.15 Oct 11, 2023
@renovate renovate bot force-pushed the renovate/cryptominisat-5.x branch from a543376 to 4522bde Compare October 11, 2023 20:01
@renovate renovate bot force-pushed the renovate/cryptominisat-5.x branch from 4522bde to dad226d Compare November 16, 2023 10:48
@renovate renovate bot force-pushed the renovate/cryptominisat-5.x branch from dad226d to bc41f2d Compare February 8, 2024 22:03
@renovate renovate bot changed the title Update dependency cryptominisat to v5.11.15 Update dependency cryptominisat to v5.11.21 Feb 8, 2024
@renovate renovate bot force-pushed the renovate/cryptominisat-5.x branch from bc41f2d to 278c3a9 Compare July 13, 2024 21:16
@renovate renovate bot changed the title Update dependency cryptominisat to v5.11.21 Update dependency cryptominisat to v5.11.22 Jul 13, 2024
Copy link

coderabbitai bot commented Jul 13, 2024

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.


Thank you for using CodeRabbit. We offer it for free to the OSS community and would appreciate your support in helping us grow. If you find it useful, would you consider giving us a shout-out on your favorite social media?

Share
Tips

Chat

There are 3 ways to chat with CodeRabbit:

  • Review comments: Directly reply to a review comment made by CodeRabbit. Example:
    • I pushed a fix in commit <commit_id>.
    • Generate unit testing code for this file.
    • Open a follow-up GitHub issue for this discussion.
  • Files and specific lines of code (under the "Files changed" tab): Tag @coderabbitai in a new review comment at the desired location with your query. Examples:
    • @coderabbitai generate unit testing code for this file.
    • @coderabbitai modularize this function.
  • PR comments: Tag @coderabbitai in a new PR comment to ask questions about the PR branch. For the best results, please provide a very specific query, as very limited context is provided in this mode. Examples:
    • @coderabbitai generate interesting stats about this repository and render them as a table.
    • @coderabbitai show all the console.log statements in this repository.
    • @coderabbitai read src/utils.ts and generate unit testing code.
    • @coderabbitai read the files in the src/scheduler package and generate a class diagram using mermaid and a README in the markdown format.
    • @coderabbitai help me debug CodeRabbit configuration file.

Note: Be mindful of the bot's finite context window. It's strongly recommended to break down tasks such as reading entire modules into smaller chunks. For a focused discussion, use review comments to chat about specific files and their changes, instead of using the PR comments.

CodeRabbit Commands (invoked as PR comments)

  • @coderabbitai pause to pause the reviews on a PR.
  • @coderabbitai resume to resume the paused reviews.
  • @coderabbitai review to trigger an incremental review. This is useful when automatic reviews are disabled for the repository.
  • @coderabbitai full review to do a full review from scratch and review all the files again.
  • @coderabbitai summary to regenerate the summary of the PR.
  • @coderabbitai resolve resolve all the CodeRabbit review comments.
  • @coderabbitai configuration to show the current CodeRabbit configuration for the repository.
  • @coderabbitai help to get help.

Additionally, you can add @coderabbitai ignore anywhere in the PR description to prevent this PR from being reviewed.

CodeRabbit Configration File (.coderabbit.yaml)

  • You can programmatically configure CodeRabbit by adding a .coderabbit.yaml file to the root of your repository.
  • Please see the configuration documentation for more information.
  • If your editor has YAML language server enabled, you can add the path at the top of this file to enable auto-completion and validation: # yaml-language-server: $schema=https://coderabbit.ai/integrations/schema.v2.json

Documentation and Community

  • Visit our Documentation for detailed information on how to use CodeRabbit.
  • Join our Discord Community to get help, request features, and share feedback.
  • Follow us on X/Twitter for updates and announcements.

@renau renau closed this Aug 14, 2024
Copy link
Contributor Author

renovate bot commented Aug 14, 2024

Renovate Ignore Notification

Because you closed this PR without merging, Renovate will ignore this update (5.11.22). You will get a PR once a newer version is released. To ignore this dependency forever, add it to the ignoreDeps array of your Renovate config.

If you accidentally closed this PR, or if you changed your mind: rename this PR to get a fresh replacement PR.

@renovate renovate bot deleted the renovate/cryptominisat-5.x branch August 14, 2024 22:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant