9 Commits

Author	SHA1	Message	Date
sezanzeb	5b562f472b	badges, lint	2020-12-06 15:16:25 +01:00
sezanzeb	3497068a0f	script not needed anymore	2020-12-03 20:57:48 +01:00
sezanzeb	5e5784a28e	fixed coverage badge	2020-12-02 00:14:02 +01:00
sezanzeb	3d2095f988	linting	2020-12-02 00:02:41 +01:00
sezanzeb	17445558fb	no .terminate anymore, proper multiprocessing coverage, some minor cleanup in injector	2020-12-01 23:53:32 +01:00
sezanzeb	f6869d7cd2	multiprocessing coverage	2020-11-30 19:02:57 +01:00
sezanzeb	554234f5a5	deb packaging seems to work now	2020-11-29 17:32:31 +01:00
sezanzeb	0ede853bab	more work on distribution	2020-11-29 13:55:37 +01:00
sezanzeb	025c3fd718	debian package	2020-11-29 13:30:16 +01:00