Repository navigation

[Lean] Connect complete-bank endpoints to PR516 realization - #528

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

jamesyc:lean/complete-bank-endpoint-20261011

Oct 12, 2026

Merged

[Lean] Connect complete-bank endpoints to PR516 realization#528
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
jamesyc:lean/complete-bank-endpoint-20261011

Commits on Oct 9, 2026
- Stop pinning Makefile, README.md and NOTICE in the joint-dual manifest
  romainhedouin
  committed
  df5bbdb
Commits on Oct 12, 2026
- [Lean] Connect complete-bank endpoints to PR516 realization
  jamesyc
  authored
  ba5e50a