chore: sync rm_set_option with mathlib, fix it on Windows, remove 29 respectTransparency options - #1705

Merged

zhikaip merged 3 commits into

update_rm_set_option

Oct 1, 2026

Commits on Sep 30, 2026

chore(scripts): sync rm_set_option.py and set_option_utils.py with mathlib (#41997)

zhikaip
and
Claude Opus 5.5
committed
f3b5e7a

Commits on Oct 1, 2026

fix(scripts): kill timed-out builds on Windows in dag_traversal.py

zhikaip
and
Claude Opus 5.5
committed
42e4f79
chore: remove unnecessary set_option backward.isDefEq.respectTransparency false

zhikaip
and
Claude Opus 5.5
committed
15541f5