Code

ci: Use codecov for coverage reports#632

Code

Merged

aborgna-q merged 3 commits intomainCQCL/hugr:mainfrom ci/codecovCQCL/hugr:ci/codecovCopy head branch name to clipboardOct 31, 2023

+42-19

Commits

Commits on Oct 30, 2023

• ci: Use codecov for coverage reports

  aborgna-q

  committed
  084554c

  Copy full SHA for 084554c

Commits on Oct 31, 2023

• Only run coverage if tests succeed

  Show description for 240eb0b
  aborgna-q

  committed
  240eb0b

  Copy full SHA for 240eb0b

• Bring back daily coverage message

  aborgna-q

  committed
  f78e789

  Copy full SHA for f78e789