2019-07-14 17:25:03 +00:00
|
|
|
comment: off
|
|
|
|
|
|
2020-09-02 07:10:51 +00:00
|
|
|
coverage:
|
|
|
|
|
status:
|
|
|
|
|
project:
|
|
|
|
|
default:
|
|
|
|
|
target: auto
|
|
|
|
|
# Allow a tiny drop of overall project coverage in PR to reduce spurious failures.
|
|
|
|
|
threshold: 0.25%
|
2021-06-29 21:11:08 +00:00
|
|
|
|
|
|
|
|
ignore:
|
|
|
|
|
- tests/*.rs
|
2021-12-20 21:13:42 +00:00
|
|
|
- src/test_hygiene/*.rs
|
2022-05-09 17:15:43 +00:00
|
|
|
- src/impl_/ghost.rs
|
