Check Specs & Metadata

Workflow runs for Check Specs & Metadata

• ewd998: initialize passes in the MCInit of the export and shiviz models

  completed successfully:
  Check Specs & Metadata#1424:Commitbfcdea6pushedbylemmy
  master

  Oct 17, 202629m 41s
  More actions for workflow run 1424

• tlaplus-dispatch

  completed successfully:
  Check Specs & Metadata#1423:Repository dispatchtriggeredbylemmy
  Oct 15, 202632m 30s
  More actions for workflow run 1423

• tlaplus-dispatch

  completed successfully:
  Check Specs & Metadata#1422:Repository dispatchtriggeredbylemmy
  Oct 13, 202629m 46s
  More actions for workflow run 1422

• tlaplus-dispatch

  completed successfully:
  Check Specs & Metadata#1421:Repository dispatchtriggeredbylemmy
  Oct 13, 202633m 37s
  More actions for workflow run 1421

• tlaplus-dispatch

  completed successfully:
  Check Specs & Metadata#1420:Repository dispatchtriggeredbylemmy
  Oct 13, 202632m 43s
  More actions for workflow run 1420

• Add MultiPaxos Leader Leases spec

  completed successfully:
  Check Specs & Metadata#1419:Pull request#224synchronizebyjosehu07
  josehu07:master

  Oct 6, 202636m 5s
  More actions for workflow run 1419

• Add MultiPaxos Leader Leases spec

  failed:
  Check Specs & Metadata#1418:Pull request#224synchronizebyjosehu07
  josehu07:master

  Oct 6, 202633m 20s
  More actions for workflow run 1418

• Add MultiPaxos Leader Leases spec

  failed:
  Check Specs & Metadata#1417:Pull request#224synchronizebyjosehu07
  josehu07:master

  Oct 6, 202637m 10s
  More actions for workflow run 1417

• Add MultiPaxos Leader Leases spec

  failed:
  Check Specs & Metadata#1416:Pull request#224reopenedbyjosehu07
  josehu07:master

  Oct 6, 20263m 43s
  More actions for workflow run 1416

• Add MultiPaxos Leader Leases spec

  failed:
  Check Specs & Metadata#1415:Pull request#224synchronizebyjosehu07
  josehu07:master

  Oct 6, 20263m 55s
  More actions for workflow run 1415

• Add MultiPaxos Leader Leases spec

  failed:
  Check Specs & Metadata#1414:Pull request#224synchronizebyjosehu07
  josehu07:master

  Oct 6, 202615s
  More actions for workflow run 1414

• tlaplus-dispatch

  failed:
  Check Specs & Metadata#1413:Repository dispatchtriggeredbylemmy
  Oct 6, 202624m 39s
  More actions for workflow run 1413

• tlaplus-dispatch

  failed:
  Check Specs & Metadata#1412:Repository dispatchtriggeredbylemmy
  Oct 5, 202629m 15s
  More actions for workflow run 1412

• tlaplus-dispatch

  failed:
  Check Specs & Metadata#1411:Repository dispatchtriggeredbylemmy
  Oct 5, 202629m 24s
  More actions for workflow run 1411

• tlaplus-dispatch

  failed:
  Check Specs & Metadata#1410:Repository dispatchtriggeredbylemmy
  Oct 4, 202628m 50s
  More actions for workflow run 1410

• tlaplus-dispatch

  failed:
  Check Specs & Metadata#1409:Repository dispatchtriggeredbylemmy
  Oct 3, 202629m 14s
  More actions for workflow run 1409

• tlaplus-dispatch

  failed:
  Check Specs & Metadata#1408:Repository dispatchtriggeredbylemmy
  Oct 3, 202627m 24s
  More actions for workflow run 1408

• tlaplus-dispatch

  cancelled:
  Check Specs & Metadata#1407:Repository dispatchtriggeredbylemmy
  Oct 3, 202615m 51s
  More actions for workflow run 1407

• Bump CCF submodule to 8575ce8fc

  failed:
  Check Specs & Metadata#1406:Commit6a7b26apushedbylemmy
  master

  Oct 3, 202627m 27s
  More actions for workflow run 1406

• WIP: Specs for continued fraction algorithms

  failed:
  Check Specs & Metadata#1405:Pull request#235synchronizebysr-murthy
  sr-murthy:continued-fractions

  Oct 3, 20261m 9s
  More actions for workflow run 1405

• WIP: Specs for continued fraction algorithms

  requires action with the application:
  Check Specs & Metadata#1404:Pull request#235openedbysr-murthy
  sr-murthy:continued-fractions

  Oct 3, 2026Action required
  More actions for workflow run 1404

• tlaplus-dispatch

  failed:
  Check Specs & Metadata#1403:Repository dispatchtriggeredbylemmy
  Oct 2, 202628m 52s
  More actions for workflow run 1403

• tlaplus-dispatch

  failed:
  Check Specs & Metadata#1402:Repository dispatchtriggeredbylemmy
  Oct 2, 202630m 53s
  More actions for workflow run 1402

• tlaplus-dispatch

  failed:
  Check Specs & Metadata#1401:Repository dispatchtriggeredbylemmy
  Oct 2, 202636m 52s
  More actions for workflow run 1401

• tlaplus-dispatch

  failed:
  Check Specs & Metadata#1400:Repository dispatchtriggeredbylemmy
  Oct 1, 202634m 58s
  More actions for workflow run 1400