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

Add seals to related projects #1817

Merged
merged 1 commit into from
Aug 11, 2017
Merged

Add seals to related projects #1817

merged 1 commit into from
Aug 11, 2017

Conversation

durban
Copy link
Contributor

@durban durban commented Aug 11, 2017

@kailuowang As discussed in durban/seals#62.

Copy link
Contributor

@kailuowang kailuowang left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@codecov-io
Copy link

codecov-io commented Aug 11, 2017

Codecov Report

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

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #1817   +/-   ##
=======================================
  Coverage   94.88%   94.88%           
=======================================
  Files         241      241           
  Lines        4148     4148           
  Branches      102      103    +1     
=======================================
  Hits         3936     3936           
  Misses        212      212

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 22e7175...d964fca. Read the comment docs.

@kailuowang
Copy link
Contributor

simple doc addition, merge with 1 sign off

@kailuowang kailuowang merged commit f97df6c into typelevel:master Aug 11, 2017
@durban durban deleted the addRelatedProject branch August 14, 2017 11:56
@kailuowang kailuowang added this to the 1.0.0-RC1 milestone Oct 13, 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.

3 participants