Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename Validation to Validated in Validated docs #2027

Merged
merged 1 commit into from Nov 13, 2017

Conversation

Ttcao
Copy link
Contributor

@Ttcao Ttcao commented Nov 13, 2017

I'm learning Validated from the docs and think this may be a typo.
Please let me know otherwise :)

@codecov-io
Copy link

codecov-io commented Nov 13, 2017

Codecov Report

Merging #2027 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #2027   +/-   ##
=======================================
  Coverage   95.09%   95.09%           
=======================================
  Files         301      301           
  Lines        4953     4953           
  Branches      125      125           
=======================================
  Hits         4710     4710           
  Misses        243      243

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 31874ce...d614ff3. Read the comment docs.

@kailuowang kailuowang merged commit 6b87e2b into typelevel:master Nov 13, 2017
@LukaJCB
Copy link
Member

LukaJCB commented Nov 13, 2017

Thanks for your contribution @Ttcao :)

@kailuowang kailuowang added this to the 1.0.0 milestone Nov 24, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants