Closed dependabot[bot] closed 3 years ago
Merging #80 (609b501) into master (d78736c) will not change coverage. The diff coverage is
n/a
.
@@ Coverage Diff @@
## master #80 +/- ##
=======================================
Coverage 97.45% 97.45%
=======================================
Files 29 29
Lines 983 983
=======================================
Hits 958 958
Misses 25 25
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 d78736c...609b501. Read the comment docs.
OK, I won't notify you again about this release, but will get in touch when a new version is available. If you'd rather skip all updates until the next major or minor version, let me know by commenting @dependabot ignore this major version
or @dependabot ignore this minor version
.
If you change your mind, just re-open this PR and I'll resolve any conflicts on it.
Bumps pyre-check from 0.0.60 to 0.9.0.
Commits
5a9debb
More actionable message for "server already exist" error19772ec
fix a false negative due to sanitizing specific sources for tito before check...b5f8a19
improve error messages when loading from saved state fails4d2ac33
Do not crash when searching for timestamp of server log files9aed923
Remove uses ofmap2_exn
.2b34423
Checkis_meta
before extracting element.f111d3d
Adjust line numbers in expected model output.e9a00dd
Removepyre_extensions.pyi
from the existing typeshed zipbfa77c5
fix model unit tests700d8d0
remove a TODODependabot 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)