4 Commits

Author	SHA1	Message	Date
jo	3dbc1205d0	Start linting with mypy	2021-09-10 15:14:48 +02:00
jo	ceb40ee216	Use shared python makefile and start linting ... Always update setuptools/wheel/pip Never fail while linting We use github annotations to impove the code incrementally.	2021-09-10 15:14:46 +02:00
jo	4724a30937	Fix tools makefile	2021-09-07 23:09:53 +02:00
jo	7cb3501540	Rename scripts/ to tools/	2021-09-07 23:03:19 +02:00