dev.knotless.requestRerun
Writes a dev.knotless.rerun record, as `knotless run rerun` does, in the account logged in to this appview's web pages, which must be the repository's owner: its runners run the ref, or the pull's head, again where it points when they read it. Name one ref or one pull. With workflow, only that one: of the pull's, or at the ref, one that runs on a push to it or whose trigger is to be asked for, its steps seeing env. Requires the session cookie the pages' login sets.
Details · procedure
| Kind | procedure |
|---|---|
| Authority | knotless.dev |
| Indexed |
Procedure
procedure · POSTInput
application/jsonenv
arrayWith a ref and a workflow, variables its steps see, over the workflow's own of the same names.
maxLength: 32
pull
string · at-uriOr the dev.knotless.pull record whose head to run.
ref
stringThe ref to run: a branch or a tag by name, or in full.
maxLength: 1024
The repository's dev.knotless.repo record, as dev.knotless.getRepo takes it.
workflow
stringThe one workflow to run, by name.
maxLength: 64
Output
application/jsonThe dev.knotless.rerun record written.
Errors
NotFound
No such repository.
AuthenticationRequired
No account is logged in to the pages, or its session has ended.
UpstreamFailure
Nothing was asked, as the reason says: the account is not the owner, the repository names no runners, or what was named is not there.
Similar lexicons
semantic matchLexicons whose schemas describe something close to this one. Check them before publishing a new one that overlaps.
-
dev.knotless.rerun
recordA repository owner's request that its runners run a ref's or a pull's workflows again.