Skip to content

chore(deps-dev): bump hypothesis from 6.160.0 to 6.161.0 in the all-deps group#463

Merged
github-actions[bot] merged 1 commit into
mainfrom
dependabot/uv/all-deps-360d17edb1
Jul 23, 2026
Merged

chore(deps-dev): bump hypothesis from 6.160.0 to 6.161.0 in the all-deps group#463
github-actions[bot] merged 1 commit into
mainfrom
dependabot/uv/all-deps-360d17edb1

Conversation

@dependabot

@dependabot dependabot Bot commented on behalf of github Jul 23, 2026

Copy link
Copy Markdown
Contributor

Bumps the all-deps group with 1 update: hypothesis.

Updates hypothesis from 6.160.0 to 6.161.0

Commits
  • f58678b Bump hypothesis version to 6.161.0 and update changelog
  • f7e5f86 Merge pull request #4810 from Zac-HD/claude/note-observability-output-33hcvo
  • 2aada67 Fix test failures under the crosshair backend
  • 5378df7 Address review comments
  • 64acbb2 Drop Unsatisfiable changes from the changelog
  • 6da37c0 Explain exhausted search spaces in the Unsatisfiable error
  • edc45cb Remove settings.timeout fossils from Unsatisfiable docstring
  • 405820e Record note() values in observability output
  • See full diff in compare view

Dependabot compatibility score

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 show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
  • @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
  • @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
  • @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
  • @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions

Bumps the all-deps group with 1 update: [hypothesis](https://github.com/HypothesisWorks/hypothesis).


Updates `hypothesis` from 6.160.0 to 6.161.0
- [Release notes](https://github.com/HypothesisWorks/hypothesis/releases)
- [Commits](HypothesisWorks/hypothesis@v6.160.0...v6.161.0)

---
updated-dependencies:
- dependency-name: hypothesis
  dependency-version: 6.161.0
  dependency-type: direct:development
  update-type: version-update:semver-minor
  dependency-group: all-deps
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot Bot added dependencies Pull requests that update a dependency file python:uv Pull requests that update python:uv code labels Jul 23, 2026
@github-actions
github-actions Bot enabled auto-merge (squash) July 23, 2026 15:35
@github-actions
github-actions Bot merged commit dfb9a28 into main Jul 23, 2026
17 checks passed
@github-actions
github-actions Bot deleted the dependabot/uv/all-deps-360d17edb1 branch July 23, 2026 15:38
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 python:uv Pull requests that update python:uv code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants