feat(#217): Rename Coverage Workflow

It conflicts with the file name expected by the Codecov script
rm3l · Mar 6, 2021 · 52d9d6d · 52d9d6d
1 parent f5aafa3
commit 52d9d6d
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/coverage.yml → .github/workflows/code_coverage.yml b/.github/workflows/coverage.yml → .github/workflows/code_coverage.yml