All workflows

Workflow runs

• Harness

  completed successfully:
  Harness#5:Scheduled
  main

  Oct 22, 202636m 50s
  More actions for workflow run 5

• Pages

  completed successfully:
  Pages#307:Scheduled
  main

  Oct 22, 20266m 38s
  More actions for workflow run 307

• Nightly

  failed:
  Nightly#34:Scheduled
  main

  Oct 22, 202620m 55s
  More actions for workflow run 34

• Pages

  completed successfully:
  Pages#306:Scheduled
  main

  Oct 22, 20266m 32s
  More actions for workflow run 306

• Pages

  completed successfully:
  Pages#305:Scheduled
  main

  Oct 21, 20266m 21s
  More actions for workflow run 305

• Pages

  completed successfully:
  Pages#304:Scheduled
  main

  Oct 21, 20266m 51s
  More actions for workflow run 304

• Pages

  completed successfully:
  Pages#303:Scheduled
  main

  Oct 21, 20266m 36s
  More actions for workflow run 303

• Pages

  completed successfully:
  Pages#302:Scheduled
  main

  Oct 21, 20266m 29s
  More actions for workflow run 302

• Pages

  completed successfully:
  Pages#301:Scheduled
  main

  Oct 21, 20266m 1s
  More actions for workflow run 301

• Pages

  completed successfully:
  Pages#300:Scheduled
  main

  Oct 21, 20266m 37s
  More actions for workflow run 300

• client: programs run on the coeval kernel (coeval D13, roadmap item M14)

  failed:
  CI#1225:Pull request#134synchronizebymark1russell7
  feat/kernel-programs

  Oct 21, 20266m 1s
  More actions for workflow run 1225

• client: each step of a list operand is one part; faster desugaring

  failed:
  CI#1224:Commit94dac29pushedbymark1russell7
  feat/kernel-programs

  Oct 21, 20265m 20s
  More actions for workflow run 1224

• client: programs run on the coeval kernel (coeval D13, roadmap item M14)

  failed:
  CI#1223:Pull request#134openedbymark1russell7
  feat/kernel-programs

  Oct 21, 20266m 6s
  More actions for workflow run 1223

• client: programs run on the coeval kernel (coeval D13, roadmap item M14)

  failed:
  CI#1222:Commita16af64pushedbymark1russell7
  feat/kernel-programs

  Oct 21, 20266m 16s
  More actions for workflow run 1222

• Harness

  completed successfully:
  Harness#4:Scheduled
  main

  Oct 21, 202637m 9s
  More actions for workflow run 4

• Pages

  completed successfully:
  Pages#299:Scheduled
  main

  Oct 21, 20266m 7s
  More actions for workflow run 299

• Nightly

  failed:
  Nightly#33:Scheduled
  main

  Oct 21, 202620m 43s
  More actions for workflow run 33

• Pages

  completed successfully:
  Pages#298:completedbymark1russell7
  Oct 21, 20265m 39s
  More actions for workflow run 298

• Merge pull request #133 from mark1russell7/feat/envelope-programs

  completed successfully:
  CI#1221:Commit1d566a6pushedbymark1russell7
  main

  Oct 21, 20266m 12s
  More actions for workflow run 1221

• client: the envelope form of a program, a surface over the $proc form (coeval M7)

  completed successfully:
  CI#1220:Pull request#133openedbymark1russell7
  feat/envelope-programs

  Oct 21, 20266m 8s
  More actions for workflow run 1220

• client: the envelope form of a program, a surface over the $proc form…

  completed successfully:
  CI#1219:Commit71091a5pushedbymark1russell7
  feat/envelope-programs

  Oct 21, 20266m 3s
  More actions for workflow run 1219

• Pages

  completed successfully:
  Pages#297:Scheduled
  main

  Oct 21, 20266m 13s
  More actions for workflow run 297

• Pages

  completed successfully:
  Pages#296:Scheduled
  main

  Oct 20, 20266m 20s
  More actions for workflow run 296

• Pages

  completed successfully:
  Pages#295:Scheduled
  main

  Oct 20, 20266m 33s
  More actions for workflow run 295

• Pages

  completed successfully:
  Pages#294:Scheduled
  main

  Oct 20, 20265m 55s
  More actions for workflow run 294