Skip to content

CI improvements - #119

Merged
ef4 merged 1 commit into
mainfrom
ci-improvements
Oct 16, 2026
Merged

ef4 merged 1 commit into
mainfrom
ci-improvements

Conversation

@ef4

@ef4 ef4 commented Oct 16, 2026

Copy link
Copy Markdown
Collaborator
  • run tsc in ci
  • rename default branch

 - run tsc in ci
 - rename default branch
@ef4 ef4 added the internal label Oct 16, 2026
@ef4
ef4 merged commit 508a56d into main Oct 16, 2026
1 check passed
@github-actions github-actions Bot mentioned this pull request Oct 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant