ruff

34221346 - Rename `run.rs` command to `check.rs` (#6980)

Rename `run.rs` command to `check.rs` (#6980) The CLI command is called "check", so this is more consistent (and consistent with the pattern used in other commands).