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