search

pgh-pep / pep_repo

University of Pittsburgh's Pitt Electric Propulsion Club. We are a student engineering team that designs electric boats.
https://www.pittelectricpropulsion.com/
MIT License
0 stars 0 forks source link

Add linting #4

Open pgh-pep opened 1 week ago

varunpat789 commented 1 week ago

Mypy, pulling, mypy types?