Skip to content

Updated CI with circle and codecov

Ghost User requested to merge upgraded-circle into master

This PR upgrades the CI as follows

  • all jobs now run on circleCI
  • coverage now provided by codecov

Merge request reports