Commit 2026-03-25 06:05 c942e26f
View on Github →ci: add workflow to remove unnecessary set_option lines (#37128) cf. #general > backward.isDefEq.respectTransparency @ 💬
ci: add workflow to remove unnecessary set_option lines (#37128) cf. #general > backward.isDefEq.respectTransparency @ 💬