Exposition Verify

Workflow runs for Exposition Verify

• Reduce BrillNoetherGraphs certificate replay memory

  completed successfully:
  Exposition Verify#389:Pull request#695openedbyVilin97
  codex/optimize-20261020T1215

  Oct 20, 202627s
  More actions for workflow run 389

• Exposition Verify

  completed successfully:
  Exposition Verify#388:Merge group checks requested
  Oct 20, 202624s
  More actions for workflow run 388

• Exposition Verify

  completed successfully:
  Exposition Verify#387:Merge group checks requested
  Oct 20, 202624s
  More actions for workflow run 387

• Exposition Verify

  completed successfully:
  Exposition Verify#386:Merge group checks requested
  Oct 20, 202625s
  More actions for workflow run 386

• Import sharp Graham–LPT scheduling bounds and equality cases

  completed successfully:
  Exposition Verify#385:Pull request#694synchronizebyVilin97
  codex/acquire-graham-lpt-20261020

  Oct 20, 202624s
  More actions for workflow run 385

• Import sharp Graham–LPT scheduling bounds and equality cases

  completed successfully:
  Exposition Verify#384:Pull request#694synchronizebyVilin97
  codex/acquire-graham-lpt-20261020

  Oct 20, 202621s
  More actions for workflow run 384

• Exposition Verify

  completed successfully:
  Exposition Verify#383:Merge group checks requested
  Oct 20, 202626s
  More actions for workflow run 383

• Import sharp Graham–LPT scheduling bounds and equality cases

  completed successfully:
  Exposition Verify#382:Pull request#694synchronizebyVilin97
  codex/acquire-graham-lpt-20261020

  Oct 20, 202622s
  More actions for workflow run 382

• Exposition Verify

  completed successfully:
  Exposition Verify#381:Merge group checks requested
  Oct 20, 202620s
  More actions for workflow run 381

• Import sharp Graham–LPT scheduling bounds and equality cases

  completed successfully:
  Exposition Verify#380:Pull request#694synchronizebyVilin97
  codex/acquire-graham-lpt-20261020

  Oct 20, 202622s
  More actions for workflow run 380

• Import sharp Graham–LPT scheduling bounds and equality cases

  completed successfully:
  Exposition Verify#379:Pull request#694openedbyVilin97
  codex/acquire-graham-lpt-20261020

  Oct 20, 202627s
  More actions for workflow run 379

• Import gradient-only acceleration under generalized smoothness

  completed successfully:
  Exposition Verify#378:Pull request#693synchronizebyVilin97
  codex/acquire-longtails-20261020

  Oct 20, 202625s
  More actions for workflow run 378

• Import gradient-only acceleration under generalized smoothness

  completed successfully:
  Exposition Verify#377:Pull request#693synchronizebyVilin97
  codex/acquire-longtails-20261020

  Oct 20, 202621s
  More actions for workflow run 377

• Import gradient-only acceleration under generalized smoothness

  completed successfully:
  Exposition Verify#376:Pull request#693openedbyVilin97
  codex/acquire-longtails-20261020

  Oct 20, 202620s
  More actions for workflow run 376

• Optimize ClassificationOfSurfaces elaboration and imports

  completed successfully:
  Exposition Verify#375:Pull request#692openedbyVilin97
  codex/optimize-20261020

  Oct 20, 202626s
  More actions for workflow run 375

• Exposition Verify

  completed successfully:
  Exposition Verify#374:Merge group checks requested
  Oct 20, 202625s
  More actions for workflow run 374

• Reduce MetricCodes proof elaboration cost

  completed successfully:
  Exposition Verify#373:Pull request#691openedbyVilin97
  vasilin97/optimize-2026-10-19

  Oct 20, 202626s
  More actions for workflow run 373

• Exposition Verify

  completed successfully:
  Exposition Verify#372:Merge group checks requested
  Oct 20, 202625s
  More actions for workflow run 372

• Exposition Verify

  completed successfully:
  Exposition Verify#371:Merge group checks requested
  Oct 19, 202626s
  More actions for workflow run 371

• Exposition Verify

  completed successfully:
  Exposition Verify#370:Merge group checks requested
  Oct 19, 202622s
  More actions for workflow run 370

• Exposition Verify

  completed successfully:
  Exposition Verify#369:Merge group checks requested
  Oct 19, 202625s
  More actions for workflow run 369

• Import pointwise provable equality and failure of composition

  completed successfully:
  Exposition Verify#368:Pull request#690synchronizebyVilin97
  codex/daily-pointwise-composition-20261019

  Oct 19, 202625s
  More actions for workflow run 368

• Import pointwise provable equality and failure of composition

  completed successfully:
  Exposition Verify#367:Pull request#690synchronizebyVilin97
  codex/daily-pointwise-composition-20261019

  Oct 19, 202624s
  More actions for workflow run 367

• Classical graph colouring: lists, orientations and spectra

  completed successfully:
  Exposition Verify#366:Pull request#687synchronizebyVilin97
  jtraverso:jtraverso/classical-graph-colouring

  Oct 19, 202625s
  More actions for workflow run 366

• Import pointwise provable equality and failure of composition

  completed successfully:
  Exposition Verify#365:Pull request#690synchronizebyVilin97
  codex/daily-pointwise-composition-20261019

  Oct 19, 202630s
  More actions for workflow run 365