Closed dalg24 closed 8 years ago
The coverage command did not work on Travis. Do not merge yet.
Trying to fix the duplicate check for Jenkins. Will close this PR and trigger another one.
The coverage command did not work on Travis. Do not merge yet.