|
Ran
|
Jobs
1
|
Files
87
|
Run time
9s
|
Badge
README BADGES
|
push
github
Merge rust-bitcoin/rust-bitcoin#2454: Remove broken kani test <a class=hub.com/rust-bitcoin/rust-bitcoin/commit/<a class="double-link" href="https://git"><a class=hub.com/rust-bitcoin/rust-bitcoin/commit/47569302fcb6e296b43cd046775ca5755418e9cb">47569302f Fix broken kani test (Tobin C. Harding) Pull request description: Recently we added a kani test that doesn't work because of `debug_assert` calls in ops traits. Instead of opening the can of worms that is correct panic behaviour in ops lets just remove the test. ACKs for top commit: Kixunil: ACK 47569302fcb6e296b43cd046775ca5755418e9cb apoelstra: ACK 47569302fcb6e296b43cd046775ca5755418e9cb Tree-SHA512: f4a862d991f2ae25dc3d5ea0d98a6e54c78
19345 of 22986 relevant lines covered (84.16%)
16859.05 hits per line
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 7817362967.1 | 0 |
84.16 |
GitHub Action Run |