Workflow Lint

Workflow runs for Workflow Lint

• Workflow Lint

  completed successfully:
  Workflow Lint#592:Merge group checks requested
  Oct 19, 20261m 1s
  More actions for workflow run 592

• perf(MetricCodes): narrow imports and simplify spectral proofs

  completed successfully:
  Workflow Lint#591:Pull request#685openedbyVilin97
  codex/optimization-20261019-0705

  Oct 19, 202624s
  More actions for workflow run 591

• Workflow Lint

  completed successfully:
  Workflow Lint#590:Merge group checks requested
  Oct 19, 202656s
  More actions for workflow run 590

• Optimize PhaseRetrieval analytic and Hermite proofs

  completed successfully:
  Workflow Lint#589:Pull request#684openedbyVilin97
  codex/daily-optimize-20261019

  Oct 19, 202627s
  More actions for workflow run 589

• Workflow Lint

  completed successfully:
  Workflow Lint#588:Merge group checks requested
  Oct 19, 202625s
  More actions for workflow run 588

• Restore automatic proof-profile comments on every PR

  completed successfully:
  Workflow Lint#587:Pull request#683openedbyVilin97
  vasil/fix-pr-profile-comments

  Oct 19, 202657s
  More actions for workflow run 587

• Add graph removal and extremal stability collection

  completed successfully:
  Workflow Lint#586:Pull request#681synchronizebyVilin97
  jtraverso:jtraverso/graph-removal-extremal-stability

  Oct 19, 202623s
  More actions for workflow run 586

• Workflow Lint

  completed successfully:
  Workflow Lint#585:Merge group checks requested
  Oct 19, 202624s
  More actions for workflow run 585

• Add graph removal and extremal stability collection

  completed successfully:
  Workflow Lint#584:Pull request#681synchronizebyVilin97
  jtraverso:jtraverso/graph-removal-extremal-stability

  Oct 19, 202623s
  More actions for workflow run 584

• Add graph removal and extremal stability collection

  completed successfully:
  Workflow Lint#583:Pull request#681synchronizebyjtraverso
  jtraverso:jtraverso/graph-removal-extremal-stability

  Oct 19, 202626s
  More actions for workflow run 583

• perf(PDL): shorten tableau compilation dependencies

  completed successfully:
  Workflow Lint#582:Pull request#682openedbyVilin97
  codex/daily-optimize-20261018T2103

  Oct 19, 202619s
  More actions for workflow run 582

• Add graph removal and extremal stability collection

  completed successfully:
  Workflow Lint#581:Pull request#681openedbyjtraverso
  jtraverso:jtraverso/graph-removal-extremal-stability

  Oct 19, 202625s
  More actions for workflow run 581

• Add classical matching and factor theory collection

  completed successfully:
  Workflow Lint#580:Pull request#680synchronizebyjtraverso
  jtraverso:jtraverso/classical-matching-factors

  Oct 19, 202619s
  More actions for workflow run 580

• Workflow Lint

  completed successfully:
  Workflow Lint#579:Merge group checks requested
  Oct 19, 202620s
  More actions for workflow run 579

• Add classical matching and factor theory collection

  completed successfully:
  Workflow Lint#578:Pull request#680openedbyjtraverso
  jtraverso:jtraverso/classical-matching-factors

  Oct 18, 202623s
  More actions for workflow run 578

• Import normalized clearing for capped log households

  completed successfully:
  Workflow Lint#577:Pull request#677synchronizebyVilin97
  codex/daily-aiyagari-20261018

  Oct 18, 202619s
  More actions for workflow run 577

• Import normalized clearing for capped log households

  completed successfully:
  Workflow Lint#576:Pull request#677synchronizebyVilin97
  codex/daily-aiyagari-20261018

  Oct 18, 202621s
  More actions for workflow run 576

• Import normalized clearing for capped log households

  completed successfully:
  Workflow Lint#575:Pull request#677synchronizebyVilin97
  codex/daily-aiyagari-20261018

  Oct 18, 202623s
  More actions for workflow run 575

• Import normalized clearing for capped log households

  completed successfully:
  Workflow Lint#574:Pull request#677synchronizebyVilin97
  codex/daily-aiyagari-20261018

  Oct 18, 202623s
  More actions for workflow run 574

• Import normalized clearing for capped log households

  completed successfully:
  Workflow Lint#573:Pull request#677synchronizebyVilin97
  codex/daily-aiyagari-20261018

  Oct 18, 202624s
  More actions for workflow run 573

• Optimize NonSoficGroup proof elaboration and private imports

  completed successfully:
  Workflow Lint#572:Pull request#679openedbyVilin97
  codex/daily-optimize-20261018T1505

  Oct 18, 202627s
  More actions for workflow run 572

• Import normalized clearing for capped log households

  completed successfully:
  Workflow Lint#571:Pull request#677synchronizebyVilin97
  codex/daily-aiyagari-20261018

  Oct 18, 202623s
  More actions for workflow run 571

• Import normalized clearing for capped log households

  completed successfully:
  Workflow Lint#570:Pull request#677synchronizebyVilin97
  codex/daily-aiyagari-20261018

  Oct 18, 202620s
  More actions for workflow run 570

• Workflow Lint

  completed successfully:
  Workflow Lint#569:Merge group checks requested
  Oct 18, 202626s
  More actions for workflow run 569

• Import normalized clearing for capped log households

  completed successfully:
  Workflow Lint#568:Pull request#677synchronizebyVilin97
  codex/daily-aiyagari-20261018

  Oct 18, 202624s
  More actions for workflow run 568