Skip to content
Lean Action CI

Fix simp regressions in ModalCompanion/Basic after deps update (#2) #12

Sign in to view logs

Fix simp regressions in ModalCompanion/Basic after deps update (#2)

Fix simp regressions in ModalCompanion/Basic after deps update (#2) #12

build

build
succeeded Jun 6, 2026 in 3m 18s