Lexicon Garden

dev.knotless.queue

Kept in the account of whoever wrote it; for a private repository, in their repo inside the repository's space. Readers take the latest about a pull from the repository's owner or a collaborator, who may merge it, and from no one else. A pull is in the queue while that is `queued` and the pull is open, in the order of those records' keys. A runner the repository names takes queued pulls in that order, a few at a time, squashes each onto the branch as a commit of its own, runs the workflows that run on a pull into the branch once, at the last of them, and once those pass moves the branch there, marking each pull `merged` with a dev.knotless.state. One that does not apply, or that its checks find breaks the branch, it marks `ejected`.

Repository @lexicons.knotless.dev did:plc:yqsg7znbbhfmj3a2nrpnaerk namespace authority
Details · record, key tid
Kindrecord
Record keytid
Authorityknotless.dev
Indexed

Showing version bafyreidu5hzsrwau5crc6dgwqgjaora6hakt7sagsu4cfbzi5oslovjknu. Show the latest

Compare Edit in builder → Fork →

Record

record · key tid

Properties

checks

array

For `ejected` by a batch that failed its checks, those that did not pass.

  • maxLength: 64
itemsref
Reference

commit

string

For `ejected`, the hex object ID of the pull's head that was turned away.

  • minLength: 40
  • maxLength: 64

createdAt

requiredstring · datetime

reason

string

For `ejected`, why: the paths it conflicts in, or the checks that failed and where to read their logs.

  • maxLength: 4096
  • maxGraphemes: 1000

repo

requiredref

The repository the pull is on.

Reference

state

requiredstring

`queued` puts the pull at the back of the queue; `left` takes it out; `ejected` is the runner turning it away, saying why in `reason`.

  • maxLength: 64
  • knownValues: queued | left | ejected

subject

requiredstring · at-uri

The dev.knotless.pull queued, taken out or turned away.

#failedCheck

object

A run of the batch that did not pass, as the runner filed it.

Properties

check

string · at-uri

The dev.knotless.check record of the run, with its steps and log.

status

string

How it ended, as dev.knotless.check's status says.

  • maxLength: 64
  • knownValues: failure | error | cancelled

workflow

requiredstring

The workflow's name, as its file in .knotless/workflows names it.

  • maxLength: 256

Similar lexicons

semantic match

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

  • 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.

  • dev.knotless.getQueue

    query

    A repository's merge queues.

  • dev.knotless.queuePull

    procedure

    Puts a pull in its branch's merge queue as the account logged in to this appview's pages.

  • dev.knotless.autoMerge

    record

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

  • dev.knotless.state

    record

    A pull or issue opened, closed or merged, or a pull pointed at another target branch; or a thread on a pull's lines resolved or opened again.