Promote gno lint to a top-level subcommand
Promote gno lint to a top-level subcommand: a task in MiMo-V2.6-RL-oss: Agentic RL Environments (MiMo RL release). Promote gno lint to a top-level subcommand When I work on Gno realms I run the linter constantly — it's part of my normal write/test/lint loop, just like formatting and testing. But…
The task
Promote gno lint to a top-level subcommand When I work on Gno realms I run the linter constantly — it's part of my normal write/test/lint loop, just like formatting and testing. But the linter currently lives under the tool subcommand group: while the other commands I reach for…
Part of XiaomiMiMo/MiMo-V2.6-RL-oss.