Skip to content

[1/n] improve github workflows for client repo #77

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.

Sign up for GitHub

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

Jump to bottom
Merged
yanxi0830 merged 13 commits into from
Jan 9, 2025
Merged

[1/n] improve github workflows for client repo #77

yanxi0830 merged 13 commits into from
Jan 9, 2025

Conversation

@yanxi0830
Copy link
Contributor

@yanxi0830 yanxi0830 commented Jan 9, 2025 •
edited
Loading

What

@yanxi0830 yanxi0830 marked this pull request as ready for review January 9, 2025 20:39
@yanxi0830 yanxi0830 merged commit 6a38b39 into main Jan 9, 2025
2 checks passed
@yanxi0830 yanxi0830 deleted the improve_client_workflow branch January 9, 2025 21:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@ashwinb ashwinb Awaiting requested review from ashwinb

@hardikjshah hardikjshah Awaiting requested review from hardikjshah

@dltn dltn Awaiting requested review from dltn

@raghotham raghotham Awaiting requested review from raghotham

@vladimirivic vladimirivic Awaiting requested review from vladimirivic

1 more reviewer

@dineshyv dineshyv dineshyv approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

cla signed

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@yanxi0830 @dineshyv @facebook-github-bot