[Merged by Bors] - fix(Tactic/Ring): sort terms when evaluating nested powers #114341
Triggered via pull request
April 1, 2026 13:20
FLDutchmann
FLDutchmann
opened
#37494
Status
Success
Total duration
12s
Artifacts
–
label_new_contributor.yml
on: pull_request_target
label-and-report-new-contributor
7s