PR #6980 Rename `run.rs` command to `check.rs`

Rename `run.rs` command to `check.rs` #6980

charliermarsh merged 1 commit into main from charlie/lint

charliermarsh added internal

MichaReiser approved these changes on 2023-08-29

Rename run command to check

2fe91683

charliermarsh force pushed from 602eafd2 to 2fe91683 2 years ago

charliermarsh enabled auto-merge (squash) 2 years ago

charliermarsh merged 34221346 into main 2 years ago

charliermarsh deleted the charlie/lint branch 2 years ago

Reviewers

MichaReiser

Assignees

No one assigned

Labels

internal

Milestone

No milestone