Wasm Directoryalpha
Record

pull-request-head

No description available.

record pull-request-head {
  label: string,
  ref: string,
  repo: pull-request-head-repo,
  sha: string,
  user: pull-request-head-user,
}

Fields

NameTypeDescription
labelstring
refstring
repopull-request-head-repo
shastring
userpull-request-head-user