29673475631
94%

Ran 19 Jul 2026 04:33AM UTC

Jobs 1

Files 22

Run time 1min

Badge

Embed ▾

Committed 19 Jul 2026 04:32AM UTC coverage: 94.235% (+0.02%) from 94.216%

Build # 29673475631

Build Type

push

github

Committed by

web-flow

Commit Message

Migrate to modmath 0.6: SchoolbookField replaces basic::pre_reduced (#30)

* Migrate off modmath basic::pre_reduced to SchoolbookField/FieldOps (modmath 0.6)

Phase 3 of modmath 0.6 retires the public pre_reduced surface — all four
re-export modules deleted, 12 schoolbook _pr cores demoted to pub(crate).

Introduce src/sb.rs with four #[inline(always)] wrappers (sb_add, sb_sub,
sb_mul, sb_exp) that drive SchoolbookField<u32> from the FieldOps trait.
All 30+ call sites across 10 source files and one example are migrated;
the compiled output is semantically identical since SchoolbookField delegates
to the same internal _pr cores that pre_reduced was re-exporting.

Coverage Stats

3498 of 3712 relevant lines covered (94.23%)

86191.05 hits per line

Coverage Regressions

Lines	Coverage	∆	File
9	53.1	0.0%	krabipqc/src/lib.rs
3	98.88	-0.04%	krabipqc/src/mlkem/pke.rs

Jobs

ID	Job ID	Ran	Files	Coverage
1	29673475631.1	19 Jul 2026 04:33AM UTC	22	94.23	GitHub Action Run

kaidokert / krabipqc-rs / 29673475631
94%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 29673475631

kaidokert / krabipqc-rs / 29673475631 94%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 29673475631

kaidokert / krabipqc-rs / 29673475631
94%

README BADGES
x