Skip to content

Autodiff doc updates#2871

Merged
ZuseZ4 merged 2 commits into
mainfrom
autodiff-doc-updates
May 15, 2026
Merged

Autodiff doc updates#2871
ZuseZ4 merged 2 commits into
mainfrom
autodiff-doc-updates

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 force-pushed the autodiff-doc-updates branch from 58772bd to 38276f5 Compare May 15, 2026 00:45
@ZuseZ4 ZuseZ4 merged commit 75e5f3f 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