Commit 2025-10-28 13:23 57ec56d0

View on Github →

fix(Tactic/FunProp): use correct trace class name (#30514)

Estimated changes