Skip to content

Update proptest-derive requirement from 0.7 to 0.8 in the dependencies group#18

Merged
giarc3 merged 3 commits intomainfrom
dependabot/cargo/dependencies-2acf6a2449
Mar 2, 2026
Merged

Update proptest-derive requirement from 0.7 to 0.8 in the dependencies group#18
giarc3 merged 3 commits intomainfrom
dependabot/cargo/dependencies-2acf6a2449

Conversation

@dependabot
Copy link
Copy Markdown
Contributor

@dependabot dependabot Bot commented on behalf of github Mar 1, 2026

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

Commits
  • 4814e51 Merge pull request #627 from proptest-rs/release-prep-1.10
  • 8221c9a prep 1.10 (and other) release(s)
  • 28961bf fix(macro): set Config::test_name to actual fn name (#619)
  • 8fb08ff Update trybuild requirement from =1.0.113 to =1.0.115 (#624)
  • 5b7a435 Update convert_case requirement from 0.6 to 0.11 (#623)
  • 14d95fc Merge pull request #586 from regexident/range-subset-strategy
  • 229e723 Merge pull request #622 from ssanderson/proptest-macro-fixes
  • 3663c38 Merge pull request #621 from wgyt/wgyt-patch
  • 1fe04c9 Fix import of HashMap
  • 9c644db Support returning TestCaseResult from #[property_test] tests.
  • 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 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

Updates the requirements on [proptest-derive](https://github.com/proptest-rs/proptest) to permit the latest version.

Updates `proptest-derive` to 0.8.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@proptest-derive-0.7.0...proptest-derive-0.8.0)

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

Signed-off-by: dependabot[bot] <[email protected]>
@dependabot dependabot Bot added dependencies Pull requests that update a dependency file rust Pull requests that update Rust code labels Mar 1, 2026
@github-actions
Copy link
Copy Markdown

github-actions Bot commented Mar 2, 2026

File Coverage Lines
All files 93% 93%
src/lib.rs 93% 93%

Minimum allowed coverage is 24%

Generated by 🐒 cobertura-action against 8614eca

@giarc3 giarc3 merged commit 764913b into main Mar 2, 2026
7 checks passed
@giarc3 giarc3 deleted the dependabot/cargo/dependencies-2acf6a2449 branch March 2, 2026 19:48
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