Skip to content

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

fix(ml): pin spec + constant -> index-v12 (the re-pin round)

0713a02
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar