Closed aquan9 closed 1 week ago
This PR tries to fix edge-case issues discovered in the code coverage badge generation process.
This should hopefully fix the issues where merges into develop were causing the missing rebase branch.
This PR tries to fix edge-case issues discovered in the code coverage badge generation process.