Skip to content
This repository has been archived by the owner on Mar 12, 2021. It is now read-only.

Exclude some large kernels from coverage. #568

Merged
merged 2 commits into from
Jan 22, 2020
Merged

Exclude some large kernels from coverage. #568

merged 2 commits into from
Jan 22, 2020

Conversation

maleadt
Copy link
Member

@maleadt maleadt commented Jan 22, 2020

No description provided.

@maleadt
Copy link
Member Author

maleadt commented Jan 22, 2020

cc @kshyatt since you care about coverage. This builds on JuliaCI/CoverageTools.jl#35

@maleadt maleadt merged commit 1c1e82c into master Jan 22, 2020
@bors bors bot deleted the tb/coverage branch January 22, 2020 07:55
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant