rust-bitcoin
/
rust-bitcoin
/
8801402712
83%
|
Ran
|
Jobs
1
|
Files
92
|
Run time
2min
|
Badge
Embed ▾
README BADGES
|
coverage: 83.131%. Remained the same
push
github
apoelstraMerge rust-bitcoin/rust-bitcoin#2709: CI: Run kani daily job with latest version <a class=hub.com/rust-bitcoin/rust-bitcoin/commit/f162e13afb35271da50382bed751bade9a05a5c0">f162e13af CI: Run kani daily job with latest version (Tobin C. Harding) Pull request description: Version `0.49` of `kani` broke our daily CI job, there is now a new release out that fixes the issue. Remove the explicit `kani` version so we pull the latest version. ACKs for top commit: apoelstra: ACK f162e13afb35271da50382bed751bade9a05a5c0 ci only, can one ack merge Tree-SHA512: cb6d42eeb7570922b84b1b540227199b0c5
19195 of 23090 relevant lines covered (83.13%)
16799.16 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 8801402712.1 | 0 |
83.13 |
GitHub Action Run |
Source Files on build 8801402712
Detailed source file information is not available for this build.