Skip to content

ci: don't fail CI if unable to upload the code coverage data#1834

Merged
nejch merged 1 commit intomainfrom
jlvillal/cover_no_fail
Jan 13, 2022
Merged

ci: don't fail CI if unable to upload the code coverage data#1834
nejch merged 1 commit intomainfrom
jlvillal/cover_no_fail

Commits

Commits on Jan 13, 2022