Skip to content

arniwesth/mot-23-fix-lean-binary-not-found#77

Draft
arniwesth wants to merge 1 commit into
mainfrom
arniwesth/mot-23-fix-lean-binary-not-found
Draft

arniwesth/mot-23-fix-lean-binary-not-found#77
arniwesth wants to merge 1 commit into
mainfrom
arniwesth/mot-23-fix-lean-binary-not-found

Fixed lean not found / not installed

daf0249
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
verify_extensions + check_core + smoke_no_delegated_storm
succeeded Jun 27, 2026 in 2m 17s