workflow-run

record workflow-run {
  actor: option​<simple-user>,
  artifacts-url: string,
  cancel-url: string,
  check-suite-id: option​<s32>,
  check-suite-node-id: option​<string>,
  check-suite-url: string,
  conclusion: string,
  created-at: string,
  display-title: string,
  event: string,
  head-branch: string,
  head-commit: nullable-simple-commit,
  head-repository: minimal-repository,
  head-repository-id: option​<s32>,
  head-sha: string,
  html-url: string,
  id: s32,
  jobs-url: string,
  logs-url: string,
  name: option​<string>,
  node-id: string,
  path: string,
  previous-attempt-url: option​<string>,
  pull-requests: list​<pull-request-minimal>,
  referenced-workflows: option​<list​<referenced-workflow>>,
  repository: minimal-repository,
  rerun-url: string,
  run-attempt: option​<s32>,
  run-number: s32,
  run-started-at: option​<string>,
  status: string,
  triggering-actor: option​<simple-user>,
  updated-at: string,
  url: string,
  workflow-id: s32,
  workflow-url: string,
}