Skip to content
New issue

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

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

Already on GitHub? # to your account

fix ci issue #982

Merged
merged 1 commit into from
Jan 22, 2025
Merged

fix ci issue #982

merged 1 commit into from
Jan 22, 2025

Conversation

w-gc
Copy link
Collaborator

@w-gc w-gc commented Jan 22, 2025

No description provided.

Copy link
Contributor

@tongke6 tongke6 left a comment

Choose a reason for hiding this comment

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

LGTM

@w-gc w-gc merged commit 76a8078 into main Jan 22, 2025
13 checks passed
@w-gc w-gc deleted the wgc/fix2 branch January 22, 2025 11:05
@github-actions github-actions bot locked and limited conversation to collaborators Jan 22, 2025
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants