Lars Karlitski 57134548a1 .github: run unit tests only once, with coverage ... We've been running the unit tests twice, once with and once without coverage. Run them only once, with coverage.		2020-03-29 16:10:46 +02:00
..
workflows	.github: run unit tests only once, with coverage	2020-03-29 16:10:46 +02:00