29708457657
97%

Ran 19 Jul 2026 11:46PM UTC

Jobs 1

Files 62

Run time 1min

Badge

Embed ▾

Committed 19 Jul 2026 11:46PM UTC coverage: 97.265% (-0.2%) from 97.459%

Build # 29708457657

Build Type

push

github

Committed by

web-flow

Commit Message

Add the NonZero surface to HeaplessBigInt (#168)

* Add the NonZero surface to HeaplessBigInt

Mirrors FixedUInt's has_nonzero_impl.rs: a NonZeroHeaplessBigInt proof
newtype plus HasNonZero (into_nonzero / nonzero_get), DivNonZero
(div_nonzero / rem_nonzero, Nct-only like Div/Rem), and CtNonZero
(into_nonzero_ct → masked CtOption).

Coverage Stats

57 of 70 new or added lines in 1 file covered. (81.43%)

5619 of 5777 relevant lines covered (97.27%)

7170.93 hits per line

Uncovered Changes

Lines	Coverage	∆	File
13	81.43		src/heapless/has_nonzero.rs

Jobs

ID	Job ID	Ran	Files	Coverage
1	29708457657.1	19 Jul 2026 11:46PM UTC	62	97.27	GitHub Action Run

kaidokert / fixed-bigint-rs / 29708457657
97%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Jobs

Source Files on build 29708457657

kaidokert / fixed-bigint-rs / 29708457657 97%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Jobs

Source Files on build 29708457657

kaidokert / fixed-bigint-rs / 29708457657
97%

README BADGES
x