9 Commits

Author	SHA1	Message	Date
sezanzeb	c9ccce8f6b	badges, lint	2020-12-06 15:16:25 +01:00
sezanzeb	1e10f0bd35	script not needed anymore	2020-12-03 20:57:48 +01:00
sezanzeb	e54d0b9ded	fixed coverage badge	2020-12-02 00:14:02 +01:00
sezanzeb	b171845ea1	linting	2020-12-02 00:02:41 +01:00
sezanzeb	287b1250cc	no .terminate anymore, proper multiprocessing coverage, some minor cleanup in injector	2020-12-01 23:53:32 +01:00
sezanzeb	eb8eabd854	multiprocessing coverage	2020-11-30 19:02:57 +01:00
sezanzeb	3fdf478e52	deb packaging seems to work now	2020-11-29 17:32:31 +01:00
sezanzeb	f7b5588abc	more work on distribution	2020-11-29 13:55:37 +01:00
sezanzeb	6cf52bd808	debian package	2020-11-29 13:30:16 +01:00