Commit c90dd56f authored by Eric Bruneton's avatar Eric Bruneton
Browse files

Fix SonarQube coverage reports.

parent e1ed681a
Pipeline #10432 passed with stage
in 8 minutes and 7 seconds