Wasm Directoryalpha
Record

pull-request-merge-result

No description available.

record pull-request-merge-result {
  merged: bool,
  message: string,
  sha: string,
}

Fields

NameTypeDescription
mergedbool
messagestring
shastring