Code

Fix build err autodiff libs#138553

Code

Draft

vayunbiyani wants to merge 5 commits intorust-lang:masterrust-lang/rust:masterfrom

vayunbiyani:fix-build-err-autodiff-libsvayunbiyani/rust:fix-build-err-autodiff-libsCopy head branch name to clipboard

Commits

Commits on Feb 24, 2025

• don't ignore autodiff tasks for lib builds

  ZuseZ4

  committed
  b28d354

  Copy full SHA for b28d354

Commits on Feb 25, 2025

• small code quality improvements

  ZuseZ4

  committed
  0597d21

  Copy full SHA for 0597d21

• more iffy improvements

  ZuseZ4

  committed
  f9f5959

  Copy full SHA for f9f5959

Commits on Mar 15, 2025

• Fix build errors

  vayunbiyani

  committed
  ca85a3e

  Copy full SHA for ca85a3e

Commits on Mar 16, 2025

• Merge branch 'master' into fix-build-err-autodiff-libs

  vayunbiyani

  authored
  5abee91

  Copy full SHA for 5abee91