Skip to content
Lean Action CI

Use Sum for ModalToPropWorld instead of Option #2

Sign in to view logs

Use Sum for ModalToPropWorld instead of Option

Use Sum for ModalToPropWorld instead of Option #2

build

build
succeeded May 30, 2026 in 2m 23s