Skip to content

Bind emitted k8 helper 450 to the retained Lean wrapper pair - #1611

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:contribution/k8-hpe450-binding
Oct 14, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bbMisk:contribution/k8-hpe450-binding

Bind emitted k8 helper 450 to the retained Lean wrapper pair

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

Annotations

1 warning and 1 notice
verify (3.11)
succeeded Oct 15, 2026 in 4m 28s