rust-bitcoin
/
rust-bitcoin
/
11988533534
83%
|
Ran
|
Jobs
1
|
Files
114
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 82.559%. Remained the same
push
github
apoelstraMerge rust-bitcoin/rust-bitcoin#3637: README: Fix Kani badge and update `no-std` details <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/a0c79735c79ab067f2518ecae1c533e75d194ab0">a0c79735c README: Fix Kani badge and update `no-std` details (S \times 3 🗿) Pull request description: The Kani badge was not displayed due to using `imp` rather than `img` and link was broken. Also the `no-std` details need to be updated. ACKs for top commit: tcharding: ACK a0c79735c79ab067f2518ecae1c533e75d194ab0 apoelstra: ACK a0c79735c79ab067f2518ecae1c533e75d194ab0; successfully ran local tests Tree-SHA512: a4da661f125902712c55b7d31d21005607c
20061 of 24299 relevant lines covered (82.56%)
17945.47 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 11988533534.1 | 0 |
82.56 |
GitHub Action Run |
Source Files on build 11988533534
Detailed source file information is not available for this build.