{
  "repository": "tokio-rs/axum",
  "ref": "40d061fdacd468217c7a609bede16357276b6c40",
  "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": "cargo-check",
      "method": "static_analysis",
      "commands": [
        "cargo check --all-targets --all-features --target armv5te-unknown-linux-musleabi",
        "cargo check --manifest-path ./examples/simple-router-wasm/Cargo.toml --target wasm32-unknown-unknown"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/CI.yml",
          "locator": "jobs.armv5te-unknown-linux-musleabi.steps[3] (Check)"
        },
        {
          "path": ".github/workflows/CI.yml",
          "locator": "jobs.wasm32-unknown-unknown.steps[3] (Check)"
        }
      ],
      "upstream": "https://github.com/rust-lang/cargo",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "clippy",
      "method": "static_analysis",
      "commands": [
        "cargo clippy --locked --manifest-path $EXPR/Cargo.toml --workspace --all-targets --all-features -- -D warnings"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/CI.yml",
          "locator": "jobs.check.steps[3] (Check)"
        },
        {
          "path": ".clippy.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/rust-lang/rust-clippy",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "cargo-hack",
      "method": "testing",
      "commands": [
        "cargo hack check --each-feature --no-dev-deps --all"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/CI.yml",
          "locator": "jobs.cargo-hack.steps[4] (cargo hack check)"
        }
      ],
      "upstream": "https://github.com/taiki-e/cargo-hack",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "cargo-test",
      "method": "testing",
      "commands": [
        "cargo test --locked --workspace --all-features --all-targets --manifest-path $EXPR/Cargo.toml",
        "cargo test",
        "cargo test --locked --all-features"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/CI.yml",
          "locator": "jobs.test-versions.steps[3] (Run tests)"
        },
        {
          "path": ".github/workflows/CI.yml",
          "locator": "jobs.test-nightly.steps[4] (Run nightly tests)"
        },
        {
          "path": ".github/workflows/CI.yml",
          "locator": "jobs.test-msrv.steps[8] (Run tests)"
        }
      ],
      "upstream": "https://github.com/rust-lang/cargo",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "ci-matrix",
      "method": "testing",
      "commands": [
        "check (workspace: 2)",
        "test-versions (rust: 2, workspace: 2)"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/CI.yml",
          "locator": "jobs.check.strategy.matrix"
        },
        {
          "path": ".github/workflows/CI.yml",
          "locator": "jobs.test-versions.strategy.matrix"
        }
      ],
      "upstream": "https://docs.github.com/en/actions/how-tos/write-workflows/choose-what-workflows-do/run-job-variations",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "proptest",
      "method": "testing",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "axum/Cargo.toml",
          "locator": "[dev-dependencies]: quickcheck"
        }
      ],
      "upstream": "https://github.com/proptest-rs/proptest",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "rustfmt",
      "method": "formatting",
      "commands": [
        "cargo fmt --all --check --manifest-path $EXPR/Cargo.toml"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/CI.yml",
          "locator": "jobs.check.steps[4] (rustfmt)"
        }
      ],
      "upstream": "https://github.com/rust-lang/rustfmt",
      "docs": null,
      "exit_codes": {},
      "autofix": true,
      "declared_only": false
    },
    {
      "tool": "cargo-deny",
      "method": "supply_chain",
      "commands": [
        "uses EmbarkStudios/cargo-deny-action"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/CI.yml",
          "locator": "jobs.deny-check.steps[1]"
        },
        {
          "path": "deny.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/EmbarkStudios/cargo-deny",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}