Skip to content

Bump proptest from 1.8.0 to 1.9.0#323

Closed
dependabot[bot] wants to merge 1 commit intomainfrom
dependabot/cargo/proptest-1.9.0
Closed

Bump proptest from 1.8.0 to 1.9.0#323
dependabot[bot] wants to merge 1 commit intomainfrom
dependabot/cargo/proptest-1.9.0

Conversation

@dependabot
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Feb 4, 2026

Bumps proptest from 1.8.0 to 1.9.0.

Commits
  • b2d358b prep 1.9.0 release (#607)
  • 67a1fe4 Merge pull request #606 from proptest-rs/fix-test
  • 7190be9 fix doctest and cleanup warnings
  • c1a49e6 Merge pull request #589 from bschoenmaeckers/assume_ok
  • 411e580 Merge pull request #546 from serprex/remove-lazy-static
  • a54d0a9 Merge branch 'main' into remove-lazy-static
  • 4b78455 Merge pull request #605 from proptest-rs/msrv-1.82
  • 0454e5d bump msrv to 1.82
  • b59a691 Merge remote-tracking branch 'origin/main' into assume_ok
  • 9b121ca Review
  • Additional commits viewable 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 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)

@dependabot dependabot bot added dependencies Pull requests that update a dependency file rust Pull requests that update Rust code labels Feb 4, 2026
@semanticdiff-com
Copy link

Review changes with  SemanticDiff

@codecov
Copy link

codecov bot commented Feb 4, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.47%. Comparing base (4433ede) to head (91f26cf).

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #323      +/-   ##
==========================================
+ Coverage   91.46%   91.47%   +0.01%     
==========================================
  Files          45       45              
  Lines        5164     5164              
==========================================
+ Hits         4723     4724       +1     
+ Misses        441      440       -1     
Flag Coverage Δ
ubuntu-latest 86.18% <ø> (-0.23%) ⬇️
windows-latest 86.69% <ø> (-0.39%) ⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@dependabot dependabot bot force-pushed the dependabot/cargo/proptest-1.9.0 branch 7 times, most recently from fd5e87a to 681539f Compare February 4, 2026 13:06
Bumps [proptest](https://github.com/proptest-rs/proptest) from 1.8.0 to 1.9.0.
- [Release notes](https://github.com/proptest-rs/proptest/releases)
- [Changelog](https://github.com/proptest-rs/proptest/blob/main/CHANGELOG.md)
- [Commits](proptest-rs/proptest@v1.8.0...v1.9.0)

---
updated-dependencies:
- dependency-name: proptest
  dependency-version: 1.9.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>
@dependabot dependabot bot force-pushed the dependabot/cargo/proptest-1.9.0 branch from 681539f to 91f26cf Compare February 4, 2026 13:22
@dependabot @github
Copy link
Contributor Author

dependabot bot commented on behalf of github Feb 5, 2026

Superseded by #329.

@dependabot dependabot bot closed this Feb 5, 2026
@dependabot dependabot bot deleted the dependabot/cargo/proptest-1.9.0 branch February 5, 2026 04:06
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 rust Pull requests that update Rust code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants