Promote gno lint to a top-level subcommand
Promote gno lint to a top-level subcommand: a task in MiMo-V2.6-RL-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). 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 task
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:
Part of FineEnvs/MiMo-V2.6-RL-harbor-code.