Move the C coverage to the CodeCov GitHub Action #3947
Merged
Mergify / Rule: automatic merge (delete_head_branch)
succeeded
Oct 26, 2024 in 0s
Branch `fix-coverage2` has been deleted
Loading