| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
tla-plusconfigured, not run |
Proofs and specifications | safekeeper/spec/MCProposerAcceptorReconfig.tla |
Static analysis
3 tools
| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
mypy |
Type checking | mypy . |
ci | .github/workflows/_check-codestyle-python.yml pyproject.toml |
ruff-check |
Linting | ruff check . |
ci | .github/workflows/_check-codestyle-python.yml pyproject.toml |
clippyconfigured, not run |
Linting | clippy.toml |
Testing
1 tool
| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
pytestconfigured, not run |
Unit and integration tests | pytest.ini |
Formatting and hygiene
2 tools
| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
ruff-format |
Formatting | ruff format --check . |
ci | .github/workflows/_check-codestyle-python.yml |
rustfmt |
Formatting | cargo fmt --all -- --check |
ci | .github/workflows/_check-codestyle-rust.yml compute_tools/rustfmt.toml |
Supply chain
1 tool
| Tool | Kind | Command | Runs in | Found in |
|---|---|---|---|---|
cargo-deny |
Dependency audit | cargo deny check --hide-inclusion-graph $CARGO_DENY_TARGET |
ci | .github/workflows/cargo-deny.yml deny.toml |
15 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.
elif [[ $BUILD_TYPE == debug ]]elif [[ $BUILD_TYPE == release ]]for build_type in debug releasejsonnetfmt --in-place $(jsonnet_files)jsonnetfmt --test $(jsonnet_files)neonvm-azure-captest-newneonvm-captest-freetierneonvm-captest-newneonvm-captest-new-many-tablesneonvm-captest-reusepython upload_results_to_perf_test_results.py --load-log $LOAD_LOG --run-type load --warehouses ${WAREHOUSES} --min-c...python upload_results_to_perf_test_results.py --summary-json $OPTRATE_JSON --results-csv $OPTRATE_CSV --run-type opt-...python upload_results_to_perf_test_results.py --summary-json $RAMPUP_JSON --results-csv $RAMPUP_CSV --run-type ramp-u...python upload_results_to_perf_test_results.py --summary-json $WARMUP_JSON --results-csv $WARMUP_CSV --run-type warmup...uniq > postgres-$*-typedefs-full.list
Review prompts
most discussed first