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

Conversation

@ronaldtse

Copy link
Copy Markdown
Contributor

Summary

Test plan

  • All .isc files parse (TS) green

@ronaldtse
ronaldtse merged commit bf05d5e into main Aug 25, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant