Apply the same change as in walberla/walberla!574 (merged).
If it works, the coverage should appear somewhere below on this page.
Apply the same change as in walberla/walberla!574 (merged).
If it works, the coverage should appear somewhere below on this page.