ci_coverage (cherry picked from commit 3961ad3763) Co-authored-by: Felix Fontein <felix@fontein.de>
3961ad3763