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

Fix MyPy CI tests #8518

Merged
merged 1 commit into from
Nov 12, 2019
Merged

Fix MyPy CI tests #8518

merged 1 commit into from
Nov 12, 2019

Conversation

karthiknadig
Copy link
Member

For #8517

  • Pull request represents a single change (i.e. not fixing disparate/unrelated things in a single PR)
  • Title summarizes what is changing
  • Unit tests & system/integration tests are added/updated

@karthiknadig karthiknadig added the no-changelog No news entry required label Nov 11, 2019
@codecov-io
Copy link

codecov-io commented Nov 11, 2019

Codecov Report

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

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #8518   +/-   ##
=======================================
  Coverage   59.11%   59.11%           
=======================================
  Files         510      510           
  Lines       23564    23564           
  Branches     3813     3813           
=======================================
  Hits        13931    13931           
  Misses       8725     8725           
  Partials      908      908

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 1b6fbfb...2180bc1. Read the comment docs.

@karthiknadig karthiknadig marked this pull request as ready for review November 12, 2019 01:24
@karthiknadig karthiknadig merged commit c634ffd into microsoft:master Nov 12, 2019
@lock lock bot locked as resolved and limited conversation to collaborators Nov 19, 2019
@karthiknadig karthiknadig deleted the issue8517 branch December 27, 2019 02:09
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
no-changelog No news entry required
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants