Skip to content

Conversation

airMeng
Copy link
Contributor

@airMeng airMeng commented Sep 15, 2024

We are on vacation for Chinese Moon festival, edit it on the phone and will check tomorrow

@airMeng airMeng requested review from ggerganov and removed request for ggerganov September 15, 2024 15:14
@ggerganov
Copy link
Member

Thank you for taking the time and don't worry, nothing urgent.

I have no other way to test this except pushing to master. If it still doesn't work out, will disable the workflow until you guys are back from vacation.

@github-actions github-actions bot added the devops improvements to build systems and github actions label Sep 15, 2024
@qnixsynapse
Copy link
Collaborator

Hey! Thanks. Is it related to my issue #9490 ? Enjoy your festival.

@airMeng
Copy link
Contributor Author

airMeng commented Sep 16, 2024

@qnixsynapse no it is introduced in #9463 and has been fixed by #9497

@airMeng airMeng closed this Sep 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

devops improvements to build systems and github actions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants