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

Hotfix github workflow #519

Merged

pengzhenghao merged 1 commit into main from hotfix-ci

Oct 20, 2023

Member

pengzhenghao commented Oct 20, 2023

What changes do you make in this PR?

Please describe why you create this PR

Checklist

I have merged the latest main branch into current branch.
I have run bash scripts/format.sh before merging.
Please use "squash and merge" mode.


          Hotfix github workflow

dc2d84d

github-actions bot commented Oct 20, 2023

[BOT] Great job! You have changed the docstring coverage from 26.83% to 26.83%, improving 0.000%.

pengzhenghao merged commit c4d926e into main

8 checks passed

pengzhenghao deleted the hotfix-ci branch

October 20, 2023 05:05

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

Labels

None yet