This repository has been archived by the owner on Aug 22, 2024. It is now read-only.
Update MIRAI to work with latest nightly #1228
Merged
Codecov / codecov/project
succeeded
Jul 29, 2023 in 1s
74% (+0%) compared to 850e729
View this Pull Request on Codecov
74% (+0%) compared to 850e729
Details
Codecov Report
Merging #1228 (99e9fc5) into main (850e729) will increase coverage by
0%.
The diff coverage is73%.
@@ Coverage Diff @@
## main #1228 +/- ##
======================================
Coverage 74% 74%
======================================
Files 23 23
Lines 16537 16771 +234
======================================
+ Hits 12336 12515 +179
- Misses 4201 4256 +55 | Files Changed | Coverage Δ | |
|---|---|---|
| checker/src/constant_domain.rs | 55% <ø> (+<1%) |
⬆️ |
| checker/src/crate_visitor.rs | 71% <ø> (ø) |
|
| checker/src/options.rs | 83% <40%> (+4%) |
⬆️ |
| checker/src/path.rs | 83% <50%> (-1%) |
⬇️ |
| checker/src/block_visitor.rs | 74% <64%> (-1%) |
⬇️ |
| checker/src/type_visitor.rs | 75% <72%> (-1%) |
⬇️ |
| checker/src/utils.rs | 84% <75%> (-1%) |
⬇️ |
| checker/src/call_visitor.rs | 77% <79%> (-1%) |
⬇️ |
| checker/src/body_visitor.rs | 84% <97%> (-1%) |
⬇️ |
| checker/src/callbacks.rs | 66% <100%> (ø) |
|
| ... and 3 more |
... and 5 files with indirect coverage changes
📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more
Loading