{
  "repository": "alacritty/alacritty",
  "ref": "aecf0f600fa840a415b55da5cf34fbeaec39ac32",
  "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": "clippy",
      "method": "static_analysis",
      "commands": [
        "cargo clippy --all-targets"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.build.steps[4] (Clippy)"
        }
      ],
      "upstream": "https://github.com/rust-lang/rust-clippy",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "cargo-test",
      "method": "testing",
      "commands": [
        "cargo test",
        "cargo test -p alacritty_terminal --no-default-features",
        "cargo test --release --target=x86_64-apple-darwin",
        "cargo test --release"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.build.steps[1] (Stable)"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.build.steps[2] (Stable (no default features))"
        },
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.build.steps[3] (Oldstable)"
        },
        {
          "path": ".github/workflows/release.yml",
          "locator": "jobs.macos.steps[3] (Test)"
        },
        {
          "path": ".github/workflows/release.yml",
          "locator": "jobs.windows.steps[1] (Test)"
        },
        {
          "path": ".github/workflows/release.yml",
          "locator": "jobs.linux.steps[2] (Test)"
        }
      ],
      "upstream": "https://github.com/rust-lang/cargo",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "ci-matrix",
      "method": "testing",
      "commands": [
        "build (os: 2)"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.build.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": "rustfmt",
      "method": "formatting",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "rustfmt.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/rust-lang/rustfmt",
      "docs": null,
      "exit_codes": {},
      "autofix": true,
      "declared_only": true
    }
  ]
}