Skip to content

fix(precon): Cast to CeedSize before multiplication#1687

Merged
jrwrigh merged 1 commit intomainfrom
jrwrigh/cast_to_ceedsize
Oct 8, 2024
Merged

fix(precon): Cast to CeedSize before multiplication#1687
jrwrigh merged 1 commit intomainfrom
jrwrigh/cast_to_ceedsize

Commits

Commits on Oct 8, 2024