Run ty in lint CI#339

janosh wants to merge 5 commits intomainTorchSim/torch-sim:mainfrom

run-ty-in-lint-ciTorchSim/torch-sim:run-ty-in-lint-ciCopy head branch name to clipboard