dev.knotless.cancel

Kept in the account of the repository's owner, keyed `<repo key>.<tid>`. A runner acts on the requests in the owner's account, newer than the last it acted on, and on no one else's: it cancels its runs of the ref or the pull going or waiting for their turn when it reads the request, even those of a workflow whose runs finish, and files their checks as cancelled. A merge queue's batches are not a ref's runs. Naming neither a ref nor a pull asks for nothing. With a workflow, only that workflow's runs are cancelled.

Details · record, key any
Kindrecord
Record keyany
Authorityknotless.dev
Indexed
cid bafyreihobqduleoaoa5uchidqxbaunz4sboltmvkhk6hmle5qtvb535bf4

Checks

Valid Lint pass
JSONDownload
{
  "$type": "com.atproto.lexicon.schema",
  "defs": {
    "main": {
      "description": "Kept in the account of the repository's owner, keyed `<repo key>.<tid>`. A runner acts on the requests in the owner's account, newer than the last it acted on, and on no one else's: it cancels its runs of the ref or the pull going or waiting for their turn when it reads the request, even those of a workflow whose runs finish, and files their checks as cancelled. A merge queue's batches are not a ref's runs. Naming neither a ref nor a pull asks for nothing. With a workflow, only that workflow's runs are cancelled.",
      "key": "any",
      "record": {
        "properties": {
          "createdAt": {
            "format": "datetime",
            "type": "string"
          },
          "pull": {
            "description": "The dev.knotless.pull record whose runs to cancel.",
            "format": "at-uri",
            "type": "string"
          },
          "ref": {
            "description": "The full ref name whose runs to cancel, such as refs/heads/main.",
            "maxLength": 1024,
            "type": "string"
          },
          "repo": {
            "description": "The repository, which is the owner's.",
            "ref": "dev.knotless.defs#repoRef",
            "type": "ref"
          },
          "workflow": {
            "description": "The name of the one workflow whose runs to cancel.",
            "maxLength": 64,
            "type": "string"
          }
        },
        "required": [
          "repo",
          "createdAt"
        ],
        "type": "object"
      },
      "type": "record"
    }
  },
  "description": "A repository owner's request that its runners cancel the runs of a ref or a pull still going.",
  "id": "dev.knotless.cancel",
  "lexicon": 1
}