update codecov settings (#1010)

master
Kevin Wan 3 years ago committed by GitHub
parent c837dc21bb
commit 861dcf2f36
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,5 +1,3 @@
comment: false
ignore:
- "doc"
- "example"
- "tools"
Loading…
Cancel
Save