Workflow Lint

Workflow runs for Workflow Lint

• Narrow ConwaySoifer imports and stage certificate checks

  completed successfully:
  Workflow Lint#656:Pull request#702synchronizebyVilin97
  codex/conway-soifer-imports-20261021

  Oct 21, 202622s
  More actions for workflow run 656

• Narrow ConwaySoifer imports and stage certificate checks

  completed successfully:
  Workflow Lint#655:Pull request#702openedbyVilin97
  codex/conway-soifer-imports-20261021

  Oct 21, 202624s
  More actions for workflow run 655

• Workflow Lint

  completed successfully:
  Workflow Lint#654:Merge group checks requested
  Oct 21, 20262m 1s
  More actions for workflow run 654

• Import Iwaniec's linear sieve and Jacobsthal bound

  completed successfully:
  Workflow Lint#653:Pull request#700synchronizebyVilin97
  codex/daily-iwaniec-20261021

  Oct 21, 202624s
  More actions for workflow run 653

• Import Iwaniec's linear sieve and Jacobsthal bound

  completed successfully:
  Workflow Lint#652:Pull request#700synchronizebyVilin97
  codex/daily-iwaniec-20261021

  Oct 21, 202627s
  More actions for workflow run 652

• Optimize PhaseRetrieval analytic proofs and shared estimates

  completed successfully:
  Workflow Lint#651:Pull request#701openedbyVilin97
  codex/optimize-large-project-20261021T0710

  Oct 21, 202640s
  More actions for workflow run 651

• Import Iwaniec's linear sieve and Jacobsthal bound

  completed successfully:
  Workflow Lint#650:Pull request#700synchronizebyVilin97
  codex/daily-iwaniec-20261021

  Oct 21, 202619s
  More actions for workflow run 650

• Import Iwaniec's linear sieve and Jacobsthal bound

  completed successfully:
  Workflow Lint#649:Pull request#700synchronizebyVilin97
  codex/daily-iwaniec-20261021

  Oct 21, 202625s
  More actions for workflow run 649

• Import Iwaniec's linear sieve and Jacobsthal bound

  completed successfully:
  Workflow Lint#648:Pull request#700openedbyVilin97
  codex/daily-iwaniec-20261021

  Oct 21, 202624s
  More actions for workflow run 648

• Eichler-Shimura material from FLT

  completed successfully:
  Workflow Lint#647:Pull request#696synchronizebyloefflerd
  loefflerd:main

  Oct 21, 202624s
  More actions for workflow run 647

• Workflow Lint

  completed successfully:
  Workflow Lint#646:Merge group checks requested
  Oct 21, 202628s
  More actions for workflow run 646

• Reduce QuantumQuery proof elaboration cost

  completed successfully:
  Workflow Lint#645:Pull request#699openedbyVilin97
  codex/optimize-20261021

  Oct 21, 202624s
  More actions for workflow run 645

• Workflow Lint

  completed successfully:
  Workflow Lint#644:Merge group checks requested
  Oct 21, 202628s
  More actions for workflow run 644

• Optimize LeanModularForms proof elaboration

  completed successfully:
  Workflow Lint#643:Pull request#698openedbyVilin97
  codex/optimize-20261020T2115

  Oct 20, 202621s
  More actions for workflow run 643

• perf: reduce Ehrhart volume proof elaboration

  completed successfully:
  Workflow Lint#642:Pull request#697openedbyVilin97
  codex/optimize-20261020T1615

  Oct 20, 202623s
  More actions for workflow run 642

• Eichler-Shimura material from FLT

  completed successfully:
  Workflow Lint#641:Pull request#696synchronizebyVilin97
  loefflerd:main

  Oct 20, 202620s
  More actions for workflow run 641

• Eichler-Shimura material from FLT

  completed successfully:
  Workflow Lint#640:Pull request#696synchronizebyloefflerd
  loefflerd:main

  Oct 20, 202625s
  More actions for workflow run 640

• Eichler-Shimura material from FLT

  completed successfully:
  Workflow Lint#639:Pull request#696synchronizebyVilin97
  loefflerd:main

  Oct 20, 202626s
  More actions for workflow run 639

• Eichler-Shimura material from FLT

  completed successfully:
  Workflow Lint#638:Pull request#696openedbyloefflerd
  loefflerd:main

  Oct 20, 202625s
  More actions for workflow run 638

• Workflow Lint

  completed successfully:
  Workflow Lint#637:Merge group checks requested
  Oct 20, 202627s
  More actions for workflow run 637

• Reduce BrillNoetherGraphs certificate replay memory

  completed successfully:
  Workflow Lint#636:Pull request#695openedbyVilin97
  codex/optimize-20261020T1215

  Oct 20, 20261m 26s
  More actions for workflow run 636

• Workflow Lint

  completed successfully:
  Workflow Lint#635:Merge group checks requested
  Oct 20, 20268m 40s
  More actions for workflow run 635

• Workflow Lint

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

• Workflow Lint

  completed successfully:
  Workflow Lint#633:Merge group checks requested
  Oct 20, 202627s
  More actions for workflow run 633

• Import sharp Graham–LPT scheduling bounds and equality cases

  completed successfully:
  Workflow Lint#632:Pull request#694synchronizebyVilin97
  codex/acquire-graham-lpt-20261020

  Oct 20, 202625s
  More actions for workflow run 632