Skip to content

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

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

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

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

904d2b4
Select commit
Loading
Failed to load commit list.