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

Initialize this repository #1

Merged
merged 1 commit into from
Jan 9, 2025
Merged

Initialize this repository #1

merged 1 commit into from
Jan 9, 2025

Conversation

rinsyan0518
Copy link
Contributor

No description provided.

sukezan
sukezan previously approved these changes Jan 8, 2025
clover-zhao
clover-zhao previously approved these changes Jan 9, 2025
dakusui
dakusui previously approved these changes Jan 9, 2025
@sukezan sukezan dismissed stale reviews from dakusui, clover-zhao, and themself via 0dfe820 January 9, 2025 08:00
@sukezan sukezan force-pushed the initialize-repository branch from 7e44f92 to 0dfe820 Compare January 9, 2025 08:00
@sukezan sukezan force-pushed the initialize-repository branch from 0dfe820 to c87f4fc Compare January 9, 2025 08:09
@sukezan sukezan self-requested a review January 9, 2025 08:14
@dakusui
Copy link

dakusui commented Jan 9, 2025

It looks good to me!

@sukezan sukezan requested review from clover-zhao and dakusui January 9, 2025 08:22
Copy link
Contributor

@clover-zhao clover-zhao left a comment

Choose a reason for hiding this comment

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

LGTM!

@sukezan sukezan merged commit 37f0332 into main Jan 9, 2025
1 check passed
@sukezan sukezan deleted the initialize-repository branch January 9, 2025 08:24
dakusui added a commit that referenced this pull request Jan 14, 2025
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.

4 participants