Skip to content

hotfix theia url#727

Merged
maitai merged 1 commit intomasterfrom
hotfix-precompiled_theia
Mar 24, 2026
Merged

hotfix theia url#727
maitai merged 1 commit intomasterfrom
hotfix-precompiled_theia

Conversation

@jkrue
Copy link
Copy Markdown
Member

@jkrue jkrue commented Mar 24, 2026

No description provided.

@jkrue jkrue self-assigned this Mar 24, 2026
Copy link
Copy Markdown
Collaborator

@maitai maitai left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@maitai maitai merged commit db13bdf into master Mar 24, 2026
4 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.

2 participants