OCram85 d45e42c2b1 Revert "skip coverage report for PRs"
This reverts commit 58b91b72128c9bf7fc1d2927121d39a00737167f.
2018-03-05 08:52:51 +01:00
..