Luca Boccassi 0cd7c0f807 Problem: no code coverage in CI
Solution: add new coverage build, and upload results to coveralls.io
2016-03-13 22:23:56 +00:00
..
2016-03-13 22:23:56 +00:00