RIOT CI megathread

@aabadie suggested collecting code coverage.

I’ve moved the resulting discussion to a new topic: