You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Merge #240: Automated daily update to rustc (to nightly-2025-08-02)
5ca6ec0 Automated update to Github CI to rustc nightly-2025-08-02 (Update Nightly Rustc Bot)
Pull request description:
Automated update to Github CI workflow `rust.yml` by [create-pull-request](https://github.com/peter-evans/create-pull-request) GitHub action
ACKs for top commit:
delta1:
utACK 5ca6ec0
Tree-SHA512: 951f1ebfbc18180af60b3e650d81a62240bb647ec965e0d0712a446fda880e7d4f3e57bd58a150f1a8e3a6a87f4c94c20b72dac2e48af6704607a636b541518c
0 commit comments