Exposition Verify

Workflow runs for Exposition Verify

• 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

• Exposition Verify

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

• perf(Vlasov): reduce peak compiler RSS by 11.39%

  completed successfully:
  Exposition Verify#363:Pull request#688synchronizebyVilin97
  codex/optimize-vlasov-20261019-resume

  Oct 19, 202622s
  More actions for workflow run 363

• Classical graph colouring: lists, orientations and spectra

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

  Oct 19, 202624s
  More actions for workflow run 362

• Exposition Verify

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

• Import pointwise provable equality and failure of composition

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

  Oct 19, 202622s
  More actions for workflow run 360

• Import pointwise provable equality and failure of composition

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

  Oct 19, 202622s
  More actions for workflow run 359

• Exposition Verify

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

• perf(Vlasov): reduce peak compiler RSS by 11.39%

  completed successfully:
  Exposition Verify#357:Pull request#688openedbyVilin97
  codex/optimize-vlasov-20261019-resume

  Oct 19, 202625s
  More actions for workflow run 357

• Classical graph colouring: lists, orientations and spectra

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

  Oct 19, 202626s
  More actions for workflow run 356

• Exposition Verify

  completed successfully:
  Exposition Verify#355:Scheduled
  main

  Oct 19, 20262h 29m 28s
  More actions for workflow run 355