Repository navigation

Re-pin: DEFAULT_INDEX_URL + pin spec -> index-v12 - #810

Merged

ronaldtse merged 1 commit into

mainfrom

fix/pin-v12-spec

Oct 19, 2026

Merged

Re-pin: DEFAULT_INDEX_URL + pin spec -> index-v12#810
ronaldtse merged 1 commit into
mainfrom
fix/pin-v12-spec

Commits on Oct 19, 2026
- fix(ml): pin spec + constant -> index-v12 (the re-pin round)
  ronaldtse
  committed
  0713a02