Closed dependabot-preview[bot] closed 4 years ago
Merging #93 into master will not change coverage. The diff coverage is
n/a
.
@@ Coverage Diff @@
## master #93 +/- ##
=======================================
Coverage 88.13% 88.13%
=======================================
Files 18 18
Lines 1846 1846
=======================================
Hits 1627 1627
Misses 219 219
Continue to review full report at Codecov.
Legend - Click here to learn more
Δ = absolute <relative> (impact)
,ø = not affected
,? = missing data
Powered by Codecov. Last update 47d96c9...5661750. Read the comment docs.
Looks like proptest is up-to-date now, so this is no longer needed.
Bumps proptest from 0.10.0 to 0.10.1.
Commits
a829731
Version 0.10.1.30717df
Merge branch '0.10.1-changes' into master6ff402d
Improve panic message in bytes_used().6c6eb79
Expand docs on new Recorder API.7a83e63
Merge remote-tracking branch 'mimoo/counter' into 0.10.1-changesa586ff5
New RngAlgorithm::Recorder to record bytes used to create value6521f0f
Proptest-derive version 0.2.0.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 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 use these labels` will set the current labels as the default for future PRs for this repo and language - `@dependabot use these reviewers` will set the current reviewers as the default for future PRs for this repo and language - `@dependabot use these assignees` will set the current assignees as the default for future PRs for this repo and language - `@dependabot use this milestone` will set the current milestone as the default for future PRs for this repo and language - `@dependabot badge me` will comment on this PR with code to add a "Dependabot enabled" badge to your readme Additionally, you can set the following in your Dependabot [dashboard](https://app.dependabot.com): - Update frequency (including time of day and day of week) - Pull request limits (per update run and/or open at any time) - Out-of-range updates (receive only lockfile updates, if desired) - Security updates (receive only security updates, if desired)