Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Dec 2, 2024

Automated changes by create-pull-request GitHub action

@github-actions github-actions bot force-pushed the create-pull-request/patch branch 2 times, most recently from 5f7cfb2 to 6eeb31a Compare December 16, 2024 09:12
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 6eeb31a to e2c21bf Compare December 23, 2024 09:11
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from e2c21bf to 77352db Compare December 30, 2024 09:11
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from 77352db to 82d0d04 Compare January 6, 2025 09:11
Copy link
Collaborator

@2bndy5 2bndy5 left a comment

Choose a reason for hiding this comment

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

👀

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Jan 6, 2025
@shenxianpeng
Copy link
Collaborator

Reduce the frequency of this job to once a month

@shenxianpeng shenxianpeng merged commit c2da070 into main Jan 6, 2025
4 checks passed
@shenxianpeng shenxianpeng deleted the create-pull-request/patch branch January 6, 2025 10:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation skip-changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants