Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

coverage: workaround for XML reporting bug #857

Merged
merged 3 commits into from Mar 20, 2019
Merged

coverage: workaround for XML reporting bug #857

merged 3 commits into from Mar 20, 2019

Commits on Mar 20, 2019

  1. coverage: workaround for XML reporting bug 

    There’s a bug in coverage.py when using the source
specifier which causes the XML reports to omit the
first element of the directory name, breaking some
tools (this does not affect the HTML or text 
format reports).

Using include instead avoids this problem until
the upstream bug is resolved:

nedbat/coveragepy#578
    @acdha
    acdha committed Mar 20, 2019
    Configuration menu
    Copy the full SHA
    2512c6e View commit details
    Browse the repository at this point in the history

  2. Completely exclude coverage.xml from Sonar scans

    @acdha
    acdha committed Mar 20, 2019
    Configuration menu
    Copy the full SHA
    c9a0686 View commit details
    Browse the repository at this point in the history

  3. Travis: fetch Git tags before running code scans 

    This allows builds to start faster but still has the full
history available for code analysis
    @acdha
    acdha committed Mar 20, 2019
    Configuration menu
    Copy the full SHA
    6a5947b View commit details
    Browse the repository at this point in the history