Skip to content

autodiff: reference rustup installation support#2873

Merged
ZuseZ4 merged 1 commit into
mainfrom
update-autodiff-rustup
May 15, 2026
Merged

autodiff: reference rustup installation support#2873
ZuseZ4 merged 1 commit into
mainfrom
update-autodiff-rustup

Conversation

@ZuseZ4
Copy link
Copy Markdown
Member

@ZuseZ4 ZuseZ4 commented May 15, 2026

No description provided.

@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented May 15, 2026

Thanks for the PR. If you have write access, feel free to merge this PR if it does not need reviews. You can request a review using r? rustc-dev-guide or r? <username>.

@rustbot rustbot added the S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content label May 15, 2026
@ZuseZ4 ZuseZ4 merged commit 2e7f12d into main May 15, 2026
1 check passed
@rustbot rustbot removed the S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content label May 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants