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

Specify the source of the autogenerated boilerplate #2307

Merged
merged 2 commits into from
Jun 26, 2018

Conversation

dadepo
Copy link
Contributor

@dadepo dadepo commented Jun 25, 2018

See #2305

@codecov-io
Copy link

codecov-io commented Jun 25, 2018

Codecov Report

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

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #2307   +/-   ##
=======================================
  Coverage   95.06%   95.06%           
=======================================
  Files         338      338           
  Lines        5855     5855           
  Branches      219      225    +6     
=======================================
  Hits         5566     5566           
  Misses        289      289

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 89538e7...db7672e. Read the comment docs.

@kailuowang kailuowang merged commit 0eb3667 into typelevel:master Jun 26, 2018
@kailuowang kailuowang added this to the 1.2 milestone Jun 26, 2018
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.

4 participants