Commit f27c0065d42f22c3f1484d97cac34f727832ff78

Ebrahim Byagowi 2020-04-28T15:30:25

[ci] Add a GitHub CI bot Run coverage also