Skip to content

Conversation

@dependabot
Copy link

@dependabot dependabot bot commented on behalf of github Jul 18, 2023

Bumps third_party/sby from fa5d5ad to cf0a761.

Commits
  • cf0a761 Merge pull request #246 from YosysHQ/krys/scy_dev
  • 4cddd7a Merge branch 'master' into krys/scy_dev
  • 8c4e2da Merge pull request #243 from jix/krys/argparse_docs
  • ffa53a3 Merge branch 'master' into krys/argparse_docs
  • 5ee5a78 Merge pull request #241 from YosysHQ/krys/argparse_docs
  • df18dbf Merge pull request #242 from jix/fix-autotune-crash
  • 79e6ecf Merge pull request #245 from jix/fix-jobserver-deadlock
  • edbc054 Fix deadlock with parallel SBY procs each with parallel tasks
  • fbbbab2 Merge pull request #240 from YosysHQ/claire/aigfolds
  • 4d1ac01 Merge pull request #244 from jix/smtbmc-cover-keepgoing
  • Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps [third_party/sby](https://github.com/YosysHQ/sby) from `fa5d5ad` to `cf0a761`.
- [Commits](YosysHQ/sby@fa5d5ad...cf0a761)

---
updated-dependencies:
- dependency-name: third_party/sby
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
@dependabot dependabot bot added the dependencies Pull requests that update a dependency file label Jul 18, 2023
@dependabot @github
Copy link
Author

dependabot bot commented on behalf of github Jul 18, 2023

The following labels could not be found: third-party.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants