I’m seeing mypy report Not enough arguments for format string on old-style formatting like "%d %d %d" %…

I’m seeing mypy report Not enough arguments for format string on old-style formatting like "%d %d %d" %…: a task in MiMo-V2.6-RL-oss: Agentic RL Environments (MiMo RL release). Problem Statement I’m seeing mypy report Not enough arguments for format string on old-style formatting like "%d %d %d" %…

The task

Problem Statement I’m seeing mypy report Not enough arguments for format string on old-style formatting like "%d %d %d" % values when values is typed as Iterable[int] or Sequence[int], even though the same code runs fine when the iterable actually contains three items. Expected…

Part of XiaomiMiMo/MiMo-V2.6-RL-oss.