ci: replace codecov with GitHub native coverage reporting - #7
Closed
riccardo-negri wants to merge 1 commit into
Closed
ci: replace codecov with GitHub native coverage reporting#7riccardo-negri wants to merge 1 commit into
riccardo-negri wants to merge 1 commit into
