Lexicon Garden

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.

Repository @lexicons.knotless.dev did:plc:yqsg7znbbhfmj3a2nrpnaerk namespace authority
Details · record, key any
Kindrecord
Record keyany
Authorityknotless.dev
Indexed
Compare Edit in builder → Fork →

Record

record · key any

Properties

createdAt

requiredstring · datetime

pull

string · at-uri

The dev.knotless.pull record whose runs to cancel.

ref

string

The full ref name whose runs to cancel, such as refs/heads/main.

  • maxLength: 1024

repo

requiredref

The repository, which is the owner's.

Reference

workflow

string

The name of the one workflow whose runs to cancel.

  • maxLength: 64

Similar lexicons

semantic match

Lexicons whose schemas describe something close to this one. Check them before publishing a new one that overlaps.

  • dev.knotless.rerun

    record

    A repository owner's request that its runners run a ref's or a pull's workflows again.

  • org.tangled.ci.cancelPipeline

    procedure

    Cancel running pipeline or specific workflows

  • dev.knotless.queue

    record

    A pull put in the merge queue of the branch it targets, taken out of it, or turned away by the runner that lands the queue.

  • dev.knotless.autoMerge

    record

    A pull set to merge by itself once its checks pass, or that setting cancelled.

  • dev.knotless.check

    record

    What a workflow did at a commit a ref pointed at, or at the head of a pull, as the runner that ran it reports.