Fix coverage script when there is no new coverage#4089
Merged
frederic-tingaud-sonarsource merged 1 commit intomasterfrom Jul 23, 2024
Merged
Fix coverage script when there is no new coverage#4089frederic-tingaud-sonarsource merged 1 commit intomasterfrom
frederic-tingaud-sonarsource merged 1 commit intomasterfrom