Skip to content

chore: update CI scripts#3754

Merged
johnsoncodehk merged 8 commits intomasterfrom
ci
Nov 29, 2023
Merged

chore: update CI scripts#3754
johnsoncodehk merged 8 commits intomasterfrom
ci

Conversation

@johnsoncodehk
Copy link
Copy Markdown
Member

No description provided.

@johnsoncodehk johnsoncodehk marked this pull request as ready for review November 29, 2023 04:02
@johnsoncodehk johnsoncodehk merged commit 79d2d17 into master Nov 29, 2023
@johnsoncodehk johnsoncodehk deleted the ci branch November 29, 2023 04:03
so1ve pushed a commit to so1ve-forks/language-tools that referenced this pull request Dec 4, 2023
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