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

Strict typecheck all files in tools/codegen #55227

Closed
wants to merge 1 commit into from

Conversation

ezyang
Copy link
Contributor

@ezyang ezyang commented Apr 2, 2021

Stack from ghstack:

This seems to increase the number of typechecked files.

Signed-off-by: Edward Z. Yang ezyang@fb.com

Differential Revision: D27535373

This seems to increase the number of typechecked files.

Signed-off-by: Edward Z. Yang <ezyang@fb.com>

[ghstack-poisoned]
@facebook-github-bot
Copy link
Contributor

facebook-github-bot commented Apr 2, 2021

💊 CI failures summary and remediations

As of commit 1af3100 (more details on the Dr. CI page):


💚 💚 Looks good so far! There are no failures yet. 💚 💚


This comment was automatically generated by Dr. CI (expand for details).Follow this link to opt-out of these comments for your Pull Requests.

Please report bugs/suggestions to the (internal) Dr. CI Users group.

ezyang added a commit that referenced this pull request Apr 2, 2021
This seems to increase the number of typechecked files.

Signed-off-by: Edward Z. Yang <ezyang@fb.com>

ghstack-source-id: e56132cb5f39687e806dd0d6f9565fad32665019
Pull Request resolved: #55227
@ezyang ezyang requested a review from janeyx99 April 2, 2021 15:06
@codecov
Copy link

codecov bot commented Apr 2, 2021

Codecov Report

Merging #55227 (1af3100) into gh/ezyang/988/base (61914cb) will decrease coverage by 0.00%.
The diff coverage is n/a.

@@                  Coverage Diff                   @@
##           gh/ezyang/988/base   #55227      +/-   ##
======================================================
- Coverage               77.39%   77.39%   -0.01%     
======================================================
  Files                    1896     1896              
  Lines                  187033   187033              
======================================================
- Hits                   144757   144752       -5     
- Misses                  42276    42281       +5     

Copy link
Contributor

@janeyx99 janeyx99 left a comment

Choose a reason for hiding this comment

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

looks good

@facebook-github-bot
Copy link
Contributor

@ezyang merged this pull request in e359842.

@facebook-github-bot facebook-github-bot deleted the gh/ezyang/988/head branch April 11, 2021 14:19
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