OREの自動マイナーは少し速くなりました。 デフォルトの自動マイナーは、作成した同じラウンドで自動的に展開されます。次のラウンドまで待つ必要はもうありません。