|
Ran
|
Files
236
|
Run time
13s
|
Badge
README BADGES
|
push
github
Revert "ci: Fix coverage workflow" No longer needed because bug was fixed in rustc, cf. https://github.com/rust-lang/rust/issues/141577 This closes #600. This reverts commit 1b9c15df5.
24665 of 33173 relevant lines covered (74.35%)
661341.89 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|