codecov-commenter
commented
1 year ago Codecov Report
Merging #303 (0c5fd15) into master (2846500) will not change coverage. The diff coverage is
n/a.
@@ Coverage Diff @@
## master #303 +/- ##
=======================================
Coverage 85.40% 85.40%
=======================================
Files 14 14
Lines 4590 4590
=======================================
Hits 3920 3920
Misses 670 670 | Impacted Files | Coverage Δ | |
|---|---|---|
| src/proper_typeserver.erl | 78.75% <0.00%> (-0.12%) |
:arrow_down: |
| src/proper.erl | 71.25% <0.00%> (ø) |
|
| src/proper_types.erl | 94.75% <0.00%> (ø) |
|
| src/proper_statem.erl | 94.67% <0.00%> (ø) |
|
| src/proper_arith.erl | 92.70% <0.00%> (+1.04%) |
:arrow_up: |
Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.
Since this PR would update the README anyway, took the opportunity to also fix the erroneous URI mentioned in the git clone command. (Thanks to @kikofernandez for noticing the issue in PR #302.)