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

Jump to bottom

fix check toolchain #5680

Merged

waruqi merged 1 commit into dev from toolchain

Sep 30, 2024

Member

waruqi commented Sep 30, 2024 •

edited

Loading

waruqi added this to the v2.9.6 milestone

waruqi merged commit ab08bde into dev

32 of 38 checks passed

waruqi deleted the toolchain branch

September 30, 2024 15:06


          fix check toolchain

6e74925

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet