-
Notifications
You must be signed in to change notification settings - Fork 19
Automated daily update to rustc (to nightly-2025-08-08) #292
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.
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
Conversation
5dc60ed to
e3c38f0
Compare
e3c38f0 to
1abf70a
Compare
9d06875 to
14adc2d
Compare
14adc2d to
2702023
Compare
2702023 to
686db75
Compare
686db75 to
957ad47
Compare
957ad47 to
ec4ca19
Compare
|
cc @canndrew can you approve this with an ACK message? It is a trivial PR -- if CI passes then it's good to go. But Github will not let me ACK my own PRs and will not let me merge without somebody else's ACKs. (The proper solution would be for me to create a bot account instead of using my own, but that's a 10-step process and involves maintaining a separate set of credentials forever.) |
|
I have added you as a maintainer here. |
ec4ca19 to
3ee6e2d
Compare
3ee6e2d to
89ff334
Compare
89ff334 to
e4d7767
Compare
|
Fixed by #295 -- should pass CI on the next update, on the 19th. |
e4d7767 to
3d3edad
Compare
|
Sigh. Screwed again by running |
3d3edad to
87fd5e9
Compare
87fd5e9 to
991366d
Compare
|
Lol, dammit, now there's a new lint. |
991366d to
e8d7ebe
Compare
Automated update to Github CI workflow
rust.ymlby create-pull-request GitHub action