3 commits

Author	SHA1	Message	Date
Tom M	e8963251be	Avoid unnecessary pipeline runs (#885) ... Pipelines should not be triggered when other pipelines are modified. This saves many resources when messing around with a single pipeline, because other pipelines won't run.	2021-05-10 23:19:24 +02:00
Tom M	ddb13e36c5	Collect coverage during test execution (#825)	2021-04-03 17:34:48 +02:00
Tom M	dfc7378754	Good Bye TravisCI! (#772)	2021-02-07 13:46:02 +01:00