All workflows

Workflow runs

• main-health

  completed successfully:
  main-health#111:completedbyzachyking
  Nov 1, 202611s
  More actions for workflow run 111

• main-health

  completed successfully:
  main-health#110:completedbyzachyking
  Nov 1, 20269s
  More actions for workflow run 110

• main-health

  completed successfully:
  main-health#109:Scheduled
  main

  Nov 1, 20269s
  More actions for workflow run 109

• main-health

  completed successfully:
  main-health#108:completedbyzachyking
  Nov 1, 20265m 39s
  More actions for workflow run 108

• ci

  completed successfully:
  ci#299:Scheduled
  main

  Nov 1, 20261h 18m 19s
  More actions for workflow run 299

• ci

  completed successfully:
  ci#298:Scheduled
  main

  Nov 1, 20261h 49m 45s
  More actions for workflow run 298

• main-health

  completed successfully:
  main-health#107:Scheduled
  main

  Oct 31, 20269s
  More actions for workflow run 107

• main-health

  completed successfully:
  main-health#106:completedbyzachyking
  Oct 31, 20268s
  More actions for workflow run 106

• ci

  completed successfully:
  ci#297:Scheduled
  main

  Oct 31, 20261h 49m 56s
  More actions for workflow run 297

• verifier: enforce canonical sets and nested closed member sets (feir-ops#16)

  completed successfully:
  ci#296:Pull request#61synchronizebyzachyking
  wave2/averin-verifier-canonical-sets

  Oct 31, 202638m 15s
  More actions for workflow run 296

• main-health

  completed successfully:
  main-health#105:completedbyzachyking
  Oct 30, 202610s
  More actions for workflow run 105

• main-health

  completed successfully:
  main-health#104:Scheduled
  main

  Oct 30, 202612s
  More actions for workflow run 104

• main-health

  completed successfully:
  main-health#103:completedbyzachyking
  Oct 30, 202612s
  More actions for workflow run 103

• verifier: enforce canonical sets and nested closed member sets (feir-ops#16)

  failed:
  ci#295:Pull request#61synchronizebyzachyking
  wave2/averin-verifier-canonical-sets

  Oct 30, 202618m 56s
  More actions for workflow run 295

• ci

  completed successfully:
  ci#294:Scheduled
  main

  Oct 30, 20269m 25s
  More actions for workflow run 294

• main-health

  completed successfully:
  main-health#102:completedbyzachyking
  Oct 30, 20268s
  More actions for workflow run 102

• Merge pull request #62 from FeirAI/fix/verifier-wasm-repin-main

  completed successfully:
  ci#293:Commit6b702adpushedbyzachyking
  main

  Oct 30, 202639m 30s
  More actions for workflow run 293

• verifier: repin the browser WASM to main (post-#57/#58)

  completed successfully:
  ci#292:Pull request#62openedbyzachyking
  fix/verifier-wasm-repin-main

  Oct 30, 202634m 0s
  More actions for workflow run 292

• verifier: enforce canonical sets and nested closed member sets (feir-ops#16)

  failed:
  ci#291:Pull request#61synchronizebyzachyking
  wave2/averin-verifier-canonical-sets

  Oct 29, 202625m 12s
  More actions for workflow run 291

• averin: sign a shadowed checkpoint cut detached from the client hang-up (wave 2)

  completed successfully:
  ci#290:Pull request#60synchronizebyzachyking
  wave2/averin-shadow-phase3-detached

  Oct 29, 202628m 35s
  More actions for workflow run 290

• verifier: enforce canonical sets and nested closed member sets (feir-ops#16)

  completed successfully:
  ci#289:Pull request#61synchronizebyzachyking
  wave2/averin-verifier-canonical-sets

  Oct 29, 202643m 20s
  More actions for workflow run 289

• averin: sign a shadowed checkpoint cut detached from the client hang-up (wave 2)

  completed successfully:
  ci#288:Pull request#60synchronizebyzachyking
  wave2/averin-shadow-phase3-detached

  Oct 29, 202636m 50s
  More actions for workflow run 288

• verifier: enforce canonical sets and nested closed member sets (feir-ops#16)

  completed successfully:
  ci#287:Pull request#61openedbyzachyking
  wave2/averin-verifier-canonical-sets

  Oct 29, 202637m 19s
  More actions for workflow run 287

• averin: sign a shadowed checkpoint cut detached from the client hang-up (wave 2)

  completed successfully:
  ci#286:Pull request#60openedbyzachyking
  wave2/averin-shadow-phase3-detached

  Oct 29, 202636m 48s
  More actions for workflow run 286

• main-health

  completed successfully:
  main-health#101:Scheduled
  main

  Oct 29, 20268s
  More actions for workflow run 101