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

Documentation updates. #1390

Merged
merged 1 commit into from
Sep 22, 2016
Merged

Documentation updates. #1390

merged 1 commit into from
Sep 22, 2016

Conversation

cranst0n
Copy link
Contributor

No description provided.

@non
Copy link
Contributor

non commented Sep 22, 2016

Thanks! 👍

@kailuowang
Copy link
Contributor

@cranst0n looks good, thanks very much. Do you mind rebase master which might help passing the build? I suspect that It failed due to OOM related errors.

@codecov-io
Copy link

codecov-io commented Sep 22, 2016

Current coverage is 91.67% (diff: 100%)

Merging #1390 into master will not change coverage

@@             master      #1390   diff @@
==========================================
  Files           238        238          
  Lines          3604       3604          
  Methods        3538       3538          
  Messages          0          0          
  Branches         65         65          
==========================================
  Hits           3304       3304          
  Misses          300        300          
  Partials          0          0          

Powered by Codecov. Last update ca290e1...43091bf

@kailuowang
Copy link
Contributor

👍 thanks again!

@kailuowang kailuowang merged commit 8db97ea into typelevel:master Sep 22, 2016
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.

4 participants