Push coverage from GH Actions; remove TravisCI#1034
Merged
cspotcode merged 14 commits intomasterfrom ab/move-coverage-to-github-actionsMay 10, 2020
+27-29
Commits
Commits on May 10, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
