Skip to content

Commit 35cf967

Browse files
einarfeinarf
authored
Trim down options in make.py (#2629)
* Trim down options in make.py * Remove pyright command * remove more stuff * Re-enable pyright * Re-enable mypy * Re-enable missing commands * Regroup commands + change descriptions
1 parent 7eef141 commit 35cf967

File tree

1 file changed

+243
-243
lines changed

1 file changed

+243
-243
lines changed

0 commit comments

Comments
 (0)