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

improve remote build #2507

Merged

waruqi merged 4 commits into dev from remote

Jun 30, 2022

Member

waruqi commented Jun 28, 2022 •

edited

Loading

waruqi mentioned this pull request

Remote compilation fails on mingw64 #2504

Closed

waruqi added 3 commits

June 29, 2022 00:53


          fix remote build

7e2f4dc


          fix pipe

f847d1d


          fix io.readable for msys2

67e8cf9

waruqi merged commit eff891e into dev


          add more tips

f7d4b6d

waruqi deleted the remote branch

July 1, 2022 16:09

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