Refs #20542: Remove coverage.repos file

Signed-off-by: EduPonz <[email protected]>
eProsima · Mar 13, 2024 · 594f101 · 594f101
1 parent 4e5d1a2
commit 594f101
Showing 1 changed file with 0 additions and 17 deletions.
diff --git a/.github/workflows/config/coverage.repos b/.github/workflows/config/coverage.repos