{
  "lexicon": 1,
  "id": "sh.tangled.ci.cancelPipeline",
  "defs": {
    "main": {
      "type": "procedure",
      "description": "Cancel running pipeline or specific workflows",
      "input": {
        "encoding": "application/json",
        "schema": {
          "type": "object",
          "required": ["repo", "pipeline"],
          "properties": {
            "repo": {
              "type": "string",
              "format": "did",
              "description": "git repository DID"
            },
            "pipeline": {
              "type": "string",
              "format": "tid",
              "description": "pipeline TID"
            },
            "workflows": {
              "type": "array",
              "items": {
                "type": "string",
                "description": "workflow name"
              },
              "description": "Workflow names to filter. When not provided, entire pipeline will be canceled."
            }
          }
        }
      }
    }
  }
}