EveryVoice
Dev.ej/fix some mypy errors
#505
Merged

Dev.ej/fix some mypy errors #505

joanise merged 2 commits into main from dev.ej/fix-some-mypy-errors
joanise
joanise joanise requested a review from SamuelLarkin SamuelLarkin 141 days ago
joanise joanise requested a review from roedoejet roedoejet 141 days ago
semanticdiff-com
codecov
joanise fix: the mypy type for None is simply None
de7d3eea
joanise chore: update fs2 submodule to fix some mypy errors
fb9e206a
joanise joanise force pushed from 5c0663af to fb9e206a 141 days ago
github-actions
SamuelLarkin
SamuelLarkin approved these changes on 2024-07-10
joanise joanise merged 558d129e into main 140 days ago
joanise joanise deleted the dev.ej/fix-some-mypy-errors branch 140 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone