Skip to content

ci: clone interscript-ts main (port merged) - #123

Merged
ronaldtse merged 1 commit into
mainfrom
chore/unpin-ts-clone
Aug 25, 2026
Merged

ci: clone interscript-ts main (port merged)#123
ronaldtse merged 1 commit into
mainfrom
chore/unpin-ts-clone

ci: interscript-ts port is on main — clone main instead of the port b…

9f3ad28
Select commit
Loading
Failed to load commit list.