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

config: update #1

Merged

zhenfang0215 merged 1 commit into main from dev

Jul 17, 2024

Owner

zhenfang0215 commented Jul 17, 2024

No description provided.

zhenfang0215 force-pushed the dev branch 2 times, most recently from 440a9c1 to a4d9258 Compare

July 17, 2024 07:41


          config: update

b97ac6c

zhenfang0215 force-pushed the dev branch from a4d9258 to b97ac6c Compare

July 17, 2024 07:43

zhenfang0215 merged commit e432378 into main

1 check passed

zhenfang0215 added a commit that referenced this pull request


          Merge pull request #1 from zhenfang0215/dev

config: update

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet