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

mypy lint #2840

Merged
merged 1 commit into from
Jan 18, 2024
Merged

mypy lint #2840

merged 1 commit into from
Jan 18, 2024

Conversation

Jasha10
Copy link
Collaborator

@Jasha10 Jasha10 commented Jan 18, 2024

@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Jan 18, 2024
@Jasha10 Jasha10 merged commit 5c21e65 into facebookresearch:main Jan 18, 2024
14 of 29 checks passed
@Jasha10 Jasha10 deleted the fix-lint branch January 18, 2024 23:35
@Jasha10 Jasha10 mentioned this pull request Jan 19, 2024
9 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants