Skip to content
This repository was archived by the owner on Nov 7, 2024. It is now read-only.

ci: copy ci script from tinymist #306

Merged
merged 1 commit into from
Jul 7, 2024
Merged

ci: copy ci script from tinymist #306

merged 1 commit into from
Jul 7, 2024

Conversation

Enter-tainer
Copy link
Owner

No description provided.

@Enter-tainer Enter-tainer enabled auto-merge (rebase) July 7, 2024 06:26
@Enter-tainer Enter-tainer merged commit 9fa330d into main Jul 7, 2024
11 checks passed
@Enter-tainer Enter-tainer deleted the mgt/new-ci branch July 7, 2024 06:28
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants