Skip to content

Comments

Update mypy to 0.510#30

Merged
samuelcolvin merged 2 commits intomasterfrom
pyup-update-mypy-0.471-to-0.510
May 6, 2017
Merged

Update mypy to 0.510#30
samuelcolvin merged 2 commits intomasterfrom
pyup-update-mypy-0.471-to-0.510

Conversation

@pyup-bot
Copy link
Contributor

@pyup-bot pyup-bot commented May 5, 2017

There's a new version of mypy available.
You are currently using 0.471. I have updated it to 0.510

These links might come in handy: PyPI | Homepage

I couldn't find a changelog for this release. Do you know where I can find one? Tell me!

Got merge conflicts? Close this PR and delete the branch. I'll create a new PR for you.

Happy merging! 🤖

@pyup-bot pyup-bot mentioned this pull request May 5, 2017
@codecov
Copy link

codecov bot commented May 6, 2017

Codecov Report

Merging #30 into master will not change coverage.
The diff coverage is 100%.

@@          Coverage Diff          @@
##           master    #30   +/-   ##
=====================================
  Coverage     100%   100%           
=====================================
  Files           9      9           
  Lines         657    658    +1     
  Branches       68     68           
=====================================
+ Hits          657    658    +1

@samuelcolvin samuelcolvin merged commit 5354293 into master May 6, 2017
@samuelcolvin samuelcolvin deleted the pyup-update-mypy-0.471-to-0.510 branch May 6, 2017 10:35
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.

2 participants