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 CI #3562

Merged

JohnTitor merged 1 commit into rust-lang:main from JohnTitor:gate-fix

Jan 27, 2024

Member

JohnTitor commented Jan 27, 2024

No description provided.


          Fix CI

491e3e6

Collaborator

rustbot commented Jan 27, 2024

@JohnTitor: no appropriate reviewer found, use r? to override

rustbot added the S-waiting-on-review label

JohnTitor enabled auto-merge

January 27, 2024 20:37

JohnTitor added this pull request to the merge queue

Merged via the queue into rust-lang:main with commit bea1bcb

42 checks passed

JohnTitor deleted the gate-fix branch

January 27, 2024 22:59

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