Fix merge issue for out of data CI run. #730

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

Merged

mjp41 merged 3 commits into microsoft:main from mjp41:lazy_commit_windows

Jan 10, 2025

Member

mjp41 commented Jan 9, 2025

No description provided.


          Fix merge issue for out of data CI run.

36d06b3

Collaborator

SchrodingerZhu commented Jan 9, 2025

stl::Array


          Actual fix?

1927c11

Collaborator

SchrodingerZhu commented Jan 9, 2025

Also stl::Pair? Sorry for missing this spot.


          Another stl

5a793cd

mjp41 merged commit 0fbc325 into microsoft:main

62 checks passed

mjp41 deleted the lazy_commit_windows branch

January 10, 2025 08:37

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

Labels

None yet