Ran
|
Jobs
1
|
Files
92
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
push
github
Merge rust-bitcoin/rust-bitcoin#2700: Fix kani test <a class=hub.com/rust-bitcoin/rust-bitcoin/commit/e47e57c265baca76ee04312bd6acc3c907a49089">e47e57c26 Fix kani test (Tobin C. Harding) Pull request description: In a kani test we are checking if the result of `to_unsigned()` is an error but setting `is_signed` to `true`, this field represents the signed-ness of the return type of `to_unsigned` (`Amount`) so should be `false`. Fix kani daily job. ACKs for top commit: apoelstra: ACK e47e57c265baca76ee04312bd6acc3c907a49089 Tree-SHA512: b0b4ace6d3e049e949d41e94751273309a6
19195 of 23090 relevant lines covered (83.13%)
16801.23 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 8745295649.1 | 92 |
83.13 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|