Exposition Verify

Workflow runs for Exposition Verify

• Import the Goldberg–Seymour edge-coloring theorem

  currently running:
  Exposition Verify#711:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 2026In progress
  More actions for workflow run 711

• Exposition Verify

  completed successfully:
  Exposition Verify#710:Merge group checks requested
  Nov 6, 202623s
  More actions for workflow run 710

• Import rare subtree patterns and Poisson declumping for Bienaymé trees

  completed successfully:
  Exposition Verify#709:Pull request#766synchronizebyVilin97
  codex/import-rare-subtree-20261106

  Nov 6, 202627s
  More actions for workflow run 709

• Import rare subtree patterns and Poisson declumping for Bienaymé trees

  completed successfully:
  Exposition Verify#708:Pull request#766synchronizebyVilin97
  codex/import-rare-subtree-20261106

  Nov 6, 202630s
  More actions for workflow run 708

• Import the Goldberg–Seymour edge-coloring theorem

  cancelled:
  Exposition Verify#707:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 20262h 10m 34s
  More actions for workflow run 707

• Import rare subtree patterns and Poisson declumping for Bienaymé trees

  completed successfully:
  Exposition Verify#706:Pull request#766synchronizebyVilin97
  codex/import-rare-subtree-20261106

  Nov 6, 202629s
  More actions for workflow run 706

• Exposition Verify

  completed successfully:
  Exposition Verify#705:Merge group checks requested
  Nov 6, 202630s
  More actions for workflow run 705

• Import rare subtree patterns and Poisson declumping for Bienaymé trees

  completed successfully:
  Exposition Verify#704:Pull request#766openedbyVilin97
  codex/import-rare-subtree-20261106

  Nov 6, 202634s
  More actions for workflow run 704

• Import the Goldberg–Seymour edge-coloring theorem

  cancelled:
  Exposition Verify#703:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 20261h 57m 26s
  More actions for workflow run 703

• Exposition Verify

  completed successfully:
  Exposition Verify#702:Merge group checks requested
  Nov 6, 202628s
  More actions for workflow run 702

• Import the Goldberg–Seymour edge-coloring theorem

  cancelled:
  Exposition Verify#701:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 20262h 20m 22s
  More actions for workflow run 701

• Reduce CompactnessAndDegeneracy compilation time

  completed successfully:
  Exposition Verify#700:Pull request#765openedbyVilin97
  codex/optimize-20261106T0707

  Nov 6, 202631s
  More actions for workflow run 700

• Exposition Verify

  completed successfully:
  Exposition Verify#699:Merge group checks requested
  Nov 6, 202628s
  More actions for workflow run 699

• Import the Goldberg–Seymour edge-coloring theorem

  cancelled:
  Exposition Verify#698:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 202622m 7s
  More actions for workflow run 698

• Free runner disk before every pool-build restore and lint for it

  currently running:
  Exposition Verify#697:Pull request#764synchronizebyVilin97
  vasil/free-disk-everywhere

  Nov 6, 2026In progress
  More actions for workflow run 697

• Free runner disk before every pool-build restore and lint for it

  cancelled:
  Exposition Verify#696:Pull request#764openedbyVilin97
  vasil/free-disk-everywhere

  Nov 6, 20267m 7s
  More actions for workflow run 696

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Exposition Verify#695:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 202626s
  More actions for workflow run 695

• Optimize PLAcceleratedNesterovLean arithmetic proofs and imports

  completed successfully:
  Exposition Verify#694:Pull request#763openedbyVilin97
  researcher/optimize-nesterov-resume-20261106

  Nov 6, 202628s
  More actions for workflow run 694

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Exposition Verify#693:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 202656s
  More actions for workflow run 693

• Make every Lean warning a compile error (warningAsError, like Tau Ceti)

  completed successfully:
  Exposition Verify#692:Pull request#751synchronizebyVilin97
  vasil/warning-as-error

  Nov 6, 202630s
  More actions for workflow run 692

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Exposition Verify#691:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 20261m 27s
  More actions for workflow run 691

• Exposition Verify

  completed successfully:
  Exposition Verify#690:Merge group checks requested
  Nov 6, 202652s
  More actions for workflow run 690

• Exposition Verify

  completed successfully:
  Exposition Verify#689:Merge group checks requested
  Nov 6, 20263h 53m 25s
  More actions for workflow run 689

• Exposition Verify

  completed successfully:
  Exposition Verify#688:Merge group checks requested
  Nov 6, 202629s
  More actions for workflow run 688

• Import the Goldberg–Seymour edge-coloring theorem

  completed successfully:
  Exposition Verify#687:Pull request#761synchronizebyVilin97
  codex/daily-goldberg-seymour-20261105

  Nov 6, 20262m 52s
  More actions for workflow run 687