Fix errors found in mypy and add mypy to CI #3527
lint-format.yml
on: pull_request
Format
4m 1s
TypeScript compiler
21s
ChoreoLib clang-tidy
2m 1s
TrajoptLib clang-tidy
2m 30s