| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
coq |
Proofs and specifications | tests/indent/v.v |
Static analysis
2 tools
| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
cargo-check |
Type checking | cargo check |
ci | .github/workflows/build.yml |
clippy |
Linting | cargo clippy --workspace --all-targets -- -D warnings |
ci | .github/workflows/build.yml |
Testing
3 tools
| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
cargo-test |
Unit and integration tests | cargo test --workspace |
ci | .github/workflows/build.yml |
ci-matrix |
Version and platform matrix | test (os: 5) |
ci | .github/workflows/build.yml |
proptest |
Property-based tests | Cargo.toml helix-core/Cargo.toml helix-view/Cargo.toml |
Formatting and hygiene
1 tool
| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
rustfmt |
Formatting | cargo fmt --all --check |
ci | .github/workflows/build.yml rustfmt.toml |
6 other commands the scanner could not classify
Commands from CI steps and task runners that look like checks but match no known tool. Some are checks, some are not.
cargo integration-testcargo xtask highlight-checkcargo xtask indent-checkcargo xtask query-checkcargo xtask theme-checklatest
Review prompts
most discussed first