{ "repository": "zed-industries/zed", "ref": "ba36af2050bd0c0a5b406bad3d329ea8a4d1eb62", "methods": [ { "slug": "formal", "title": "Formal verification and model checking" }, { "slug": "static_analysis", "title": "Static analysis" }, { "slug": "testing", "title": "Testing" }, { "slug": "formatting", "title": "Formatting and hygiene" }, { "slug": "supply_chain", "title": "Supply chain" }, { "slug": "unclassified", "title": "Unclassified" } ], "verifications": [ { "tool": "miri", "method": "formal", "commands": [ "cargo miri clean" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.miri_scheduler.steps[5] (run_tests::miri_scheduler::clean_miri)" } ], "upstream": "https://github.com/rust-lang/miri", "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": "clippy", "method": "static_analysis", "commands": [ "cargo clippy --workspace --fix --allow-dirty --allow-staged", "cargo clippy -p $PACKAGE_NAME --release --all-features -- --deny warnings" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/autofix_pr.yml", "locator": "jobs.run_autofix.steps[10] (autofix_pr::run_autofix::run_clippy_fix)" }, { "path": ".github/workflows/extension_tests.yml", "locator": "jobs.check_rust.steps[5] (extension_tests::run_clippy)" }, { "path": "clippy.toml", "locator": "config file" }, { "path": "crates/git/clippy.toml", "locator": "config file" } ], "upstream": "https://github.com/rust-lang/rust-clippy", "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": "zizmor", "method": "static_analysis", "commands": [ "uses zizmorcore/zizmor-action" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/release.yml", "locator": "jobs.check_scripts.steps[6] (run_tests::check_scripts::run_zizmor)" }, { "path": ".github/workflows/run_tests.yml", "locator": "jobs.check_scripts.steps[7] (run_tests::check_scripts::run_zizmor)" } ], "upstream": "https://github.com/zizmorcore/zizmor", "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": "pyright", "method": "static_analysis", "commands": [], "triggers": [], "evidence": [ { "path": "script/update_top_ranking_issues/pyrightconfig.json", "locator": "config file" } ], "upstream": "https://github.com/microsoft/pyright", "docs": "https://microsoft.github.io/pyright/#/command-line", "exit_codes": { "0": "no errors", "1": "errors reported", "2": "fatal error", "3": "config file could not be read or parsed", "4": "illegal command-line parameters" }, "autofix": false, "declared_only": true }, { "tool": "cargo-test", "method": "testing", "commands": [ "cargo nextest run --package collab --no-fail-fast", "cargo nextest run -p \"$PACKAGE_NAME\" --no-fail-fast --no-tests=warn --target \"$(rustc -vV", "cargo nextest run --workspace --no-fail-fast --no-tests=warn", "cargo nextest run --workspace --no-fail-fast --no-tests=warn${{ needs.orchestrate.outputs.changed_packages", "cargo test --workspace --doc --no-fail-fast" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/deploy_collab.yml", "locator": "jobs.tests.steps[7] (deploy_collab::tests::run_collab_tests)" }, { "path": ".github/workflows/extension_tests.yml", "locator": "jobs.check_rust.steps[7] (extension_tests::run_nextest)" }, { "path": ".github/workflows/release.yml", "locator": "jobs.run_tests_mac.steps[8] (steps::cargo_nextest)" }, { "path": ".github/workflows/release.yml", "locator": "jobs.run_tests_linux.steps[9] (steps::cargo_nextest)" }, { "path": ".github/workflows/release.yml", "locator": "jobs.run_tests_windows.steps[5] (steps::cargo_nextest)" }, { "path": ".github/workflows/release_nightly.yml", "locator": "jobs.run_tests_linux.steps[9] (steps::cargo_nextest)" }, { "path": ".github/workflows/run_tests.yml", "locator": "jobs.run_tests_windows.steps[5] (steps::cargo_nextest)" }, { "path": ".github/workflows/run_tests.yml", "locator": "jobs.run_tests_linux.steps[10] (steps::cargo_nextest)" }, { "path": ".github/workflows/run_tests.yml", "locator": "jobs.run_tests_mac.steps[8] (steps::cargo_nextest)" }, { "path": ".github/workflows/run_tests.yml", "locator": "jobs.doctests.steps[7] (run_tests::doctests::run_doctests)" }, { "path": ".github/workflows/run_tests.yml", "locator": "jobs.check_dependencies.steps[6] (run_tests::check_dependencies::check_crate_graph)" } ], "upstream": "https://github.com/rust-lang/cargo", "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": "proptest", "method": "testing", "commands": [], "triggers": [], "evidence": [ { "path": "Cargo.toml", "locator": "[workspace.dependencies]: proptest" } ], "upstream": "https://github.com/proptest-rs/proptest", "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": "rustfmt", "method": "formatting", "commands": [ "cargo fmt --all", "cargo fmt --all -- --check", "cargo fmt -p $PACKAGE_NAME -- --check" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/autofix_pr.yml", "locator": "jobs.run_autofix.steps[12] (autofix_pr::run_autofix::run_cargo_fmt)" }, { "path": ".github/workflows/deploy_collab.yml", "locator": "jobs.style.steps[5] (steps::cargo_fmt)" }, { "path": ".github/workflows/extension_tests.yml", "locator": "jobs.check_rust.steps[4] (extension_tests::cargo_fmt_package)" }, { "path": ".github/workflows/run_tests.yml", "locator": "jobs.check_style.steps[5] (steps::cargo_fmt)" }, { "path": "rustfmt.toml", "locator": "config file" } ], "upstream": "https://github.com/rust-lang/rustfmt", "docs": null, "exit_codes": {}, "autofix": true, "declared_only": false }, { "tool": "prettier", "method": "formatting", "commands": [], "triggers": [], "evidence": [ { "path": "Cargo.toml", "locator": "[workspace.dependencies]: prettier" }, { "path": ".prettierrc", "locator": "config file" }, { "path": "docs/.prettierrc", "locator": "config file" } ], "upstream": "https://github.com/prettier/prettier", "docs": "https://prettier.io/docs/cli#exit-codes", "exit_codes": { "0": "everything formatted", "1": "something was not formatted (--check)", "2": "prettier error" }, "autofix": true, "declared_only": true }, { "tool": "dependency-review", "method": "supply_chain", "commands": [ "uses actions/dependency-review-action" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.check_dependencies.steps[7] (run_tests::check_dependencies::check_vulnerable_dependencies)" } ], "upstream": "https://github.com/actions/dependency-review-action", "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "New-Item -ItemType Directory -Path ./../.cargo -Force" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/release.yml", "locator": "jobs.run_tests_windows.steps[1] (steps::setup_cargo_config)" }, { "path": ".github/workflows/release.yml", "locator": "jobs.clippy_windows.steps[1] (steps::setup_cargo_config)" }, { "path": ".github/workflows/run_tests.yml", "locator": "jobs.clippy_windows.steps[1] (steps::setup_cargo_config)" }, { "path": ".github/workflows/run_tests.yml", "locator": "jobs.run_tests_windows.steps[1] (steps::setup_cargo_config)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "bash <(curl https://raw.githubusercontent.com/rhysd/actionlint/main/scripts/download-actionlint.bash)" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/release.yml", "locator": "jobs.check_scripts.steps[4] (run_tests::check_scripts::download_actionlint)" }, { "path": ".github/workflows/run_tests.yml", "locator": "jobs.check_scripts.steps[5] (run_tests::check_scripts::download_actionlint)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "buf format --diff --exit-code crates/proto/proto" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.check_postgres_and_protobuf_migrations.steps[6] (run_tests::check_postgres_and_protobuf_migrations::check_protobuf_formatting)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "buf lint crates/proto/proto" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.check_postgres_and_protobuf_migrations.steps[5] (run_tests::check_postgres_and_protobuf_migrations::buf_lint)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "cargo -Zbuild-std=std,panic_abort check --target wasm32-unknown-unknown -p gpui_platform -p cloud_api_client" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.check_wasm.steps[6] (run_tests::check_wasm::cargo_check_wasm)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_pattern \"check_extension\" '^(extension\\.toml" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/extension_tests.yml", "locator": "jobs.orchestrate.steps[1] (filter)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_pattern \"check_rust\" '^(Cargo.lock" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/extension_tests.yml", "locator": "jobs.orchestrate.steps[1] (filter)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_pattern \"run_action_checks\" '^\\.github/(workflows/" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.orchestrate.steps[2] (filter)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_pattern \"run_docs\" '^(docs/" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.orchestrate.steps[2] (filter)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_pattern \"run_licenses\" '^(Cargo\\.lock$" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.orchestrate.steps[2] (filter)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_pattern \"run_tests\" '^(docs/" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.orchestrate.steps[2] (filter)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result check_dependencies $RESULT_CHECK_DEPENDENCIES" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result check_docs $RESULT_CHECK_DOCS" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result check_extension $RESULT_CHECK_EXTENSION" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/extension_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result check_licenses $RESULT_CHECK_LICENSES" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result check_remote_server_linux_x86_64 $RESULT_CHECK_REMOTE_SERVER_LINUX_X86_64" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result check_remote_server_mac_aarch64 $RESULT_CHECK_REMOTE_SERVER_MAC_AARCH64" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result check_remote_server_windows_x86_64 $RESULT_CHECK_REMOTE_SERVER_WINDOWS_X86_64" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result check_rust $RESULT_CHECK_RUST" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/extension_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result check_scripts $RESULT_CHECK_SCRIPTS" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result check_style $RESULT_CHECK_STYLE" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result check_wasm $RESULT_CHECK_WASM" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result check_workspace_binaries $RESULT_CHECK_WORKSPACE_BINARIES" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result clippy_linux $RESULT_CLIPPY_LINUX" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result clippy_mac $RESULT_CLIPPY_MAC" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result clippy_mac_x86_64 $RESULT_CLIPPY_MAC_X86_64" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result clippy_windows $RESULT_CLIPPY_WINDOWS" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result doctests $RESULT_DOCTESTS" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result extension_tests $RESULT_EXTENSION_TESTS" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result miri_scheduler $RESULT_MIRI_SCHEDULER" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result orchestrate $RESULT_ORCHESTRATE" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/extension_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" }, { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result run_tests_linux $RESULT_RUN_TESTS_LINUX" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result run_tests_mac $RESULT_RUN_TESTS_MAC" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "check_result run_tests_windows $RESULT_RUN_TESTS_WINDOWS" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.tests_pass.steps[0] (run_tests::tests_pass)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "for workflow_type in ci shared" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/extension_workflow_rollout.yml", "locator": "jobs.fetch_extension_repos.steps[2] (extension_workflow_rollout::fetch_extension_repos::get_removed_files)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "metadata --format-version=1 --no-deps 2>/dev/null" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/run_tests.yml", "locator": "jobs.orchestrate.steps[2] (filter)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false }, { "tool": null, "method": "unclassified", "commands": [ "python script/github-check-new-issue-for-duplicates.py $ISSUE_NUMBER > result.json" ], "triggers": [ "ci" ], "evidence": [ { "path": ".github/workflows/comment_on_potential_duplicate_issues.yml", "locator": "jobs.identify-duplicates.steps[4] (Run duplicate detection)" } ], "upstream": null, "docs": null, "exit_codes": {}, "autofix": false, "declared_only": false } ] }