Skip to content

Comments

Re-enable mypy | chore(ci)#682

Merged
justinchuby merged 5 commits intomainfrom
justinchu/mypy-fix-2
Apr 26, 2023
Merged

Re-enable mypy | chore(ci)#682
justinchuby merged 5 commits intomainfrom
justinchu/mypy-fix-2

Conversation

@justinchuby
Copy link
Collaborator

@justinchuby justinchuby commented Apr 26, 2023

Don't timeout please (update: 2m 54s, nice)

Fixes #527

@justinchuby justinchuby changed the title Re-enable mypy Re-enable mypy | chore(ci) Apr 26, 2023
@justinchuby justinchuby merged commit 05f015c into main Apr 26, 2023
@justinchuby justinchuby deleted the justinchu/mypy-fix-2 branch April 26, 2023 17:20
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.

CI break: lintrunner is timing out

2 participants