rust-bitcoin / rust-bitcoin / 28301724773
81%
master: 83%

LAST BUILD BRANCH: kani-is-hanging
DEFAULT BRANCH: master
Ran
Jobs 1
Files 92
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 81.231% (-0.005%) from 81.236%
28301724773

Pull #6432

github

web-flow 
Merge b560fc345 into a010f1e9f
Pull Request #6432: Fix kani hanging in CI on `0.32.x`

16706 of 20566 relevant lines covered (81.23%)

17246.44 hits per line

Coverage Regressions

Lines Coverage ∆ File
1
84.88
 -0.07% bitcoin/src/psbt/mod.rs
Jobs
ID Job ID Ran Files Coverage
1 28301724773.1 92
81.23
 GitHub Action Run
Source Files on build 28301724773