Add support for coverage tracking #694
Description
With PR #689, we now have coverage being reported on each test run, including the weekly tests run on GitHub Actions. It would be nice to track that coverage over time: either using a service like Codecov or Coveralls, or doing it ourselves via GitHub Workflow Artifacts.