Skip to content

Address some mypy errors#861

Merged
Andrew-S-Rosen merged 4 commits intomainfrom
mypyfixes
Sep 2, 2023
Merged

Address some mypy errors#861
Andrew-S-Rosen merged 4 commits intomainfrom
mypyfixes

Conversation

@Andrew-S-Rosen
Copy link
Member

@Andrew-S-Rosen Andrew-S-Rosen commented Sep 2, 2023

Ref: #782.

@Andrew-S-Rosen Andrew-S-Rosen enabled auto-merge (squash) September 2, 2023 20:51
@Andrew-S-Rosen Andrew-S-Rosen merged commit acc5357 into main Sep 2, 2023
@Andrew-S-Rosen Andrew-S-Rosen deleted the mypyfixes branch September 2, 2023 21:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant