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.

Sign up for GitHub

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

Jump to bottom

Update to scalastyle 0.8.0 #727

Merged
merged 2 commits into from
Dec 10, 2015
Merged

Update to scalastyle 0.8.0 #727

merged 2 commits into from
Dec 10, 2015

Conversation

fthomas
Copy link
Member

@fthomas fthomas commented Dec 8, 2015

No description provided.

@ceedubs
Copy link
Contributor

ceedubs commented Dec 9, 2015

I suspect that the build failures are due to my recent changes to the Arbitrary instance for Free. I'm hoping they don't happen (at least as much as the currently do) after ceedubs@fbf562f which is in #724.

@ceedubs
Copy link
Contributor

ceedubs commented Dec 9, 2015

@fthomas sorry I think #724 caused a merge conflict here.

@codecov-io
Copy link

Current coverage is 85.81%

Merging #727 into master will not affect coverage as of ab3897d

@@            master    #727   diff @@
======================================
  Files          162     162       
  Stmts         2249    2249       
  Branches        74      74       
  Methods          0       0       
======================================
  Hit           1930    1930       
  Partial          0       0       
  Missed         319     319

Review entire Coverage Diff as of ab3897d

Powered by Codecov. Updated on successful CI builds.

@ceedubs
Copy link
Contributor

ceedubs commented Dec 9, 2015

👍

stew added a commit that referenced this pull request Dec 10, 2015
@stew
Merge pull request #727 from fthomas/topic/scalastyle-0.8.0
32bb3a2 
Update to scalastyle 0.8.0
@stew stew merged commit 32bb3a2 into typelevel:master Dec 10, 2015
@stew stew removed the in progress label Dec 10, 2015
@fthomas fthomas deleted the topic/scalastyle-0.8.0 branch January 31, 2016 14:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@fthomas @ceedubs @codecov-io @stew