• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

rust-bitcoin / rust-bitcoin / 7817362967
83%

Build:
DEFAULT BRANCH: master
Ran 07 Feb 2024 03:43PM UTC
Jobs 1
Files 87
Run time 9s
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

07 Feb 2024 03:42PM UTC coverage: 84.16%. Remained the same
7817362967

push

github

apoelstra
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

Jobs
ID Job ID Ran Files Coverage
1 7817362967.1 07 Feb 2024 03:43PM UTC 0
84.16
GitHub Action Run
Source Files on build 7817362967
Detailed source file information is not available for this build.
  • Back to Repo
  • Github Actions Build #7817362967
  • 48dd9842 on github
  • Prev Build on master (#7800933584)
  • Next Build on master (#7820379288)
  • Delete
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc