Describe the bug It seems that #861 broke the coverage report generation. This CI run shows that only 4 files are now considered.