Zaiming (Stone) Shi 3aebe4a289 ci: only enable cover-compile by default in CI ... so the ad-hoc make apps/appname-ct run can be faster		2023-10-28 00:39:55 +02:00
..
run.sh	ci: only enable cover-compile by default in CI	2023-10-28 00:39:55 +02:00