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

Fix Windows CI #261

Merged

dduan merged 1 commit into next from windowsci

Nov 18, 2020

Owner

dduan commented Nov 17, 2020

No description provided.

dduan force-pushed the windowsci branch 3 times, most recently from 5d453e6 to 1e0f8aa Compare

November 17, 2020 22:59


          Fix Windows CI

4ca2561

dduan force-pushed the windowsci branch from 1e0f8aa to 4ca2561 Compare

November 18, 2020 02:17

dduan merged commit 541ca8e into next

dduan deleted the windowsci branch

November 18, 2020 18:12

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

Labels

None yet