Makefile.local: port to new swh-environment typecheck naming
Description
Description
Details
Details
- Provenance
zack Authored on Nov 7 2019, 1:42 PM zack Pushed on Nov 7 2019, 1:42 PM - Parents
- rDDEP39d124190019: mypy: properly type get/put methods, as well deposit_requests_types dict
- Branches
- Unknown
- Tags
- Build Status
Buildable 8866 Build 12935: test-and-build Jenkins