Skip to content
This repository has been archived by the owner on Sep 4, 2024. It is now read-only.

fix coverage reporting #9

Closed
timziebart opened this issue Nov 1, 2018 · 4 comments
Closed

fix coverage reporting #9

timziebart opened this issue Nov 1, 2018 · 4 comments
Assignees
@timziebart
Labels
bug Something isn't working

Comments

@timziebart
Copy link
Member

I adjusted the script section of travis ci in order to include the doc tests. Somehow, this seems to have broken the coverage reporting. I guess, there is a julia flag that I should set and didn't.
@timziebart timziebart self-assigned this Nov 1, 2018
@timziebart timziebart added the bug Something isn't working label Nov 1, 2018
@timziebart
Copy link
Member Author

timziebart commented Nov 6, 2018 •
edited
Loading

seems to be a bug in julia

I will keep this open until I see that it's fixed (automatically) or until I (or sombody else) finds the time to properly take care of it

@timziebart
Copy link
Member Author

The relevant issues seem to be

@timziebart
Copy link
Member Author

And the PR to close it JuliaLang/julia#29858

@timziebart
Copy link
Member Author

closed with julia 1.1

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@timziebart timziebart

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@timziebart