Bump hypothesis from 6.131.10 to 6.131.14

[dependabot]

Bumps hypothesis from 6.131.10 to 6.131.14.

Release notes

Sourced from hypothesis's releases.

Hypothesis for Python - version 6.131.14

Internal optimization to reduce redundant choice sequence spans.

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.131.13

Add a "for_failure: bool = False" parameter to "provider.realize" in alternative backends, so that symbolic-based backends can increase their timeouts when realizing failures, which are more important than regular examples.

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.131.12

Improve type hints for the single-argument form of "one_of()". "st.one_of(strategies)" now matches the type of "st.one_of(*strategies)". For instance, "st.one_of([st.integers(), st.none()])" now has the correct type of "SearchStrategy[int | None]" instead of "SearchStrategy[Any]".

The canonical version of these notes (with links) is on readthedocs.

Hypothesis for Python - version 6.131.11

Fix incorrectly reporting alternative backends as unsound in some cases.

The canonical version of these notes (with links) is on readthedocs.

Commits

• 994c03b Bump hypothesis-python version to 6.131.14 and update changelog
• ef550bb Merge pull request #4382 from tybug/remove-double-span
• 041a734 covering test for deffered strategy draw
• 2e522b2 Merge branch 'master' into remove-double-span
• 2f335a8 Bump hypothesis-python version to 6.131.13 and update changelog
• 9116d12 Merge pull request #4384 from tybug/realize-for-failure
• 24c7a97 update deprecation and release note
• b32cfaa Merge branch 'master' into realize-for-failure
• acf8ea4 add deprecation and test
• 079ecac backwards compatibility
• 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 show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @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)