build(deps): bump proptest from 1.2.0 to 1.3.1

Bumps [proptest](https://github.com/proptest-rs/proptest) from 1.2.0 to 1.3.1. - [Release notes](https://github.com/proptest-rs/proptest/releases) - [Changelog](https://github.com/proptest-rs/proptest/blob/master/CHANGELOG.md) - [Commits](proptest-rs/proptest@v1.2.0...v1.3.1) --- updated-dependencies: - dependency-name: proptest dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]>
coreos · Oct 1, 2023 · 9ae661c · 9ae661c
1 parent 717cfc4
commit 9ae661c
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 14 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -52,7 +52,7 @@ zbus = "3"
 [dev-dependencies]
 http = "0.2"
 mockito = "1.1"
-proptest = "1.2"
+proptest = "1.3"
 tempfile = ">= 3.7, < 4.0"
 
 [features]