Skip to content

Conversation

@dependabot
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Oct 27, 2025

Updates the requirements on proptest-derive to permit the latest version.

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 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)

@dependabot dependabot bot added dependencies Pull requests that update a dependency file rust Pull requests that update rust code labels Oct 27, 2025
@crepererum
Copy link
Collaborator

@dependabot rebase

Updates the requirements on [proptest-derive](https://github.com/proptest-rs/proptest) to permit the latest version.
- [Release notes](https://github.com/proptest-rs/proptest/releases)
- [Changelog](https://github.com/proptest-rs/proptest/blob/main/CHANGELOG.md)
- [Commits](proptest-rs/proptest@proptest-derive-0.6.0...proptest-derive-0.7.0)

---
updated-dependencies:
- dependency-name: proptest-derive
  dependency-version: 0.7.0
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot bot force-pushed the dependabot/cargo/proptest-derive-0.7 branch from 4361b93 to 5170239 Compare December 1, 2025 16:44
@crepererum crepererum merged commit 0d8bac2 into main Dec 2, 2025
11 checks passed
@crepererum crepererum deleted the dependabot/cargo/proptest-derive-0.7 branch December 2, 2025 12:11
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.

2 participants