Makefile.python: make "make check" also run "make typecheck"
Description
Description
Details
Details
- Provenance
zack Authored on Nov 7 2019, 10:03 AM zack Pushed on Nov 7 2019, 10:04 AM - Parents
- rDENV8c58590b65d1: Add swh-search to .mrconfig
- Branches
- Unknown
- Tags