{
  "repository": "hyprwm/Hyprland",
  "ref": "a8a2c24c5bdcec8fc0f65eb24b2933488d90851e",
  "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": null,
      "method": "unclassified",
      "commands": [
        "pandoc ./docs/Hyprland.1.rst --standalone --variable=header:Hyprland User Manual --variable=date:${DATE} --variable=section:1 --from rst --to man > ./docs/Hyprland.1"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/man-update.yaml",
          "locator": "jobs.main.steps[2] (Build man pages)"
        },
        {
          "path": "Makefile",
          "locator": "target man (line 73)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "pandoc ./docs/hyprctl.1.rst --standalone --variable=header:hyprctl User Manual --variable=date:${DATE} --variable=section:1 --from rst --to man > ./docs/hyprctl.1"
      ],
      "triggers": [
        "ci",
        "local"
      ],
      "evidence": [
        {
          "path": ".github/workflows/man-update.yaml",
          "locator": "jobs.main.steps[2] (Build man pages)"
        },
        {
          "path": "Makefile",
          "locator": "target man (line 73)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "show -s --format=%cd --date=local)"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release.yaml",
          "locator": "jobs.source-tarball.steps[1] (Populate git info in version.h.in)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "show -s --format=%s"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/release.yaml",
          "locator": "jobs.source-tarball.steps[1] (Populate git info in version.h.in)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "xargs clang-format --dry-run --Werror"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "Makefile",
          "locator": "target format-check (line 101)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "xargs clang-format -i"
      ],
      "triggers": [
        "local"
      ],
      "evidence": [
        {
          "path": "Makefile",
          "locator": "target format-fix (line 104)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}