Skip to content
This repository was archived by the owner on Feb 12, 2025. It is now read-only.

Update Rust crate proptest from 1.0.0 to 1.2.0#18

Open
figure-renovate[bot] wants to merge 1 commit intomainfrom
renovate/proptest-1.x
Open

Update Rust crate proptest from 1.0.0 to 1.2.0#18
figure-renovate[bot] wants to merge 1 commit intomainfrom
renovate/proptest-1.x

Conversation

@figure-renovate
Copy link
Copy Markdown
Contributor

@figure-renovate figure-renovate bot commented Feb 6, 2023

This PR contains the following updates:

Package Type Update Change
proptest (source) dev-dependencies minor =1.0.0 -> =1.2.0

Release Notes

proptest-rs/proptest

v1.2.0

Compare Source

v1.1.0

Compare Source


Configuration

📅 Schedule: Branch creation - "on Monday" (UTC), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

@figure-renovate figure-renovate bot requested a review from a team February 6, 2023 03:16
@figure-renovate figure-renovate bot added the dependencies An update to project dependencies label Feb 6, 2023
@github-actions
Copy link
Copy Markdown

github-actions bot commented Feb 6, 2023

Test Results

16 tests  ±0   16 ✔️ ±0   8s ⏱️ -1s
  2 suites ±0     0 💤 ±0 
  1 files   ±0     0 ±0 

Results for commit c491b42. ± Comparison against base commit bf1747a.

♻️ This comment has been updated with latest results.

@figure-renovate figure-renovate bot changed the title Update Rust crate proptest from 1.0.0 to 1.1.0 Update Rust crate proptest from 1.0.0 to 1.2.0 May 24, 2023
@figure-renovate figure-renovate bot force-pushed the renovate/proptest-1.x branch from c8c7312 to c491b42 Compare May 24, 2023 03:05
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

dependencies An update to project dependencies

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants