Skip to content

Conversation

kostis
Copy link
Collaborator

@kostis kostis commented Dec 27, 2022

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.)

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 proper-testing#302.)
@codecov-commenter
Copy link

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%) ⬇️
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%) ⬆️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@kostis kostis merged commit 78786b8 into proper-testing:master Dec 27, 2022
@kostis kostis deleted the 25.2 branch December 27, 2022 09:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants