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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 23s
2m 23s