Skip to content

Remove unnecessary ignore directives to fix mypy#6713

Merged
datumbox merged 1 commit intopytorch:mainfrom
datumbox:ci/fix_mypy
Oct 6, 2022
Merged

Remove unnecessary ignore directives to fix mypy#6713
datumbox merged 1 commit intopytorch:mainfrom
datumbox:ci/fix_mypy

Conversation

@datumbox
Copy link
Copy Markdown
Contributor

@datumbox datumbox commented Oct 6, 2022

Fixes mypy breakage on main branch

Copy link
Copy Markdown
Member

@NicolasHug NicolasHug left a comment

Choose a reason for hiding this comment

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

Stamping

@datumbox datumbox merged commit e3941af into pytorch:main Oct 6, 2022
@datumbox datumbox deleted the ci/fix_mypy branch October 6, 2022 11:40
facebook-github-bot pushed a commit that referenced this pull request Oct 17, 2022
Reviewed By: NicolasHug

Differential Revision: D40427469

fbshipit-source-id: 462f8dade0f17424fed5fbbdbabea7fbb5b678a8
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.

3 participants