Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs & scripts: external build #78

Merged
merged 2 commits into from
Nov 14, 2024
Merged

docs & scripts: external build #78

merged 2 commits into from
Nov 14, 2024

Conversation

cutecutecat
Copy link
Member

Close #74

Copy link

github-actions bot commented Nov 14, 2024

All contributors have signed the CLA ✍️ ✅
Posted by the CLA Assistant Lite bot.

@cutecutecat
Copy link
Member Author

I have read the CLA Document and I hereby sign the CLA

@cutecutecat
Copy link
Member Author

recheck

@cutecutecat
Copy link
Member Author

The CLA bot has some conflicts with:

Ref: contributor-assistant/github-action#150

@cutecutecat cutecutecat requested a review from VoVAllen November 14, 2024 02:37
@usamoi
Copy link
Contributor

usamoi commented Nov 14, 2024

@VoVAllen

gaocegege added a commit that referenced this pull request Nov 14, 2024
gaocegege added a commit that referenced this pull request Nov 14, 2024
@usamoi usamoi force-pushed the script-external branch 2 times, most recently from e8a34c9 to c05df38 Compare November 14, 2024 07:52
Signed-off-by: cutecutecat <junyuchen@tensorchord.ai>
Signed-off-by: cutecutecat <junyuchen@tensorchord.ai>
@usamoi usamoi merged commit 3a30e21 into main Nov 14, 2024
9 checks passed
@github-actions github-actions bot locked and limited conversation to collaborators Nov 14, 2024
@VoVAllen VoVAllen deleted the script-external branch November 14, 2024 08:11
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