search

gazebo-tooling / gzdev

Gazebo developers tool is an Outreachy project designed to facilitate many of the usual tasks that Gazebo developers face daily
Other
14 stars 3 forks source link

Implement pyright linting #81

Closed j-rivero closed 7 months ago

j-rivero commented 7 months ago

Use static linting to be sure that code is not broken