Python CI

Workflow runs for Python CI

• Classical graph colouring: lists, orientations and spectra

  completed successfully:
  Python CI#826:Pull request#687synchronizebyjtraverso
  jtraverso:jtraverso/classical-graph-colouring

  Oct 19, 202624s
  More actions for workflow run 826

• Classical graph colouring: lists, orientations and spectra

  completed successfully:
  Python CI#825:Pull request#687openedbyjtraverso
  jtraverso:jtraverso/classical-graph-colouring

  Oct 19, 202623s
  More actions for workflow run 825

• Python CI

  completed successfully:
  Python CI#824:Merge group checks requested
  Oct 19, 202624s
  More actions for workflow run 824

• Python CI

  completed successfully:
  Python CI#823:Merge group checks requested
  Oct 19, 202621s
  More actions for workflow run 823

• Python CI

  completed successfully:
  Python CI#822:Merge group checks requested
  Oct 19, 202621s
  More actions for workflow run 822

• Restore automatic proof-profile comments for every PR (#683)

  completed successfully:
  Python CI#821:Commit5199f6dpushedbygithub-merge-queue[bot]Bot
  main

  Oct 19, 20261m 45s
  More actions for workflow run 821

• Import Erdős 111 bipartization and countable colouring theorem

  completed successfully:
  Python CI#820:Pull request#686openedbyVilin97
  researcher/acquire-erdos111-20261019

  Oct 19, 202621s
  More actions for workflow run 820

• Python CI

  completed successfully:
  Python CI#819:Merge group checks requested
  Oct 19, 20261m 43s
  More actions for workflow run 819

• Refresh generated project statistics and attribution

  completed successfully:
  Python CI#818:Commit374a940pushedbyVilin97
  main

  Oct 19, 20261m 49s
  More actions for workflow run 818

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

  completed successfully:
  Python CI#817:Pull request#685openedbyVilin97
  codex/optimization-20261019-0705

  Oct 19, 202621s
  More actions for workflow run 817

• Python CI

  completed successfully:
  Python CI#816:Merge group checks requested
  Oct 19, 20261m 49s
  More actions for workflow run 816

• Optimize PhaseRetrieval analytic and Hermite proofs

  completed successfully:
  Python CI#815:Pull request#684openedbyVilin97
  codex/daily-optimize-20261019

  Oct 19, 202625s
  More actions for workflow run 815

• Python CI

  completed successfully:
  Python CI#814:Merge group checks requested
  Oct 19, 202620s
  More actions for workflow run 814

• Restore automatic proof-profile comments on every PR

  completed successfully:
  Python CI#813:Pull request#683openedbyVilin97
  vasil/fix-pr-profile-comments

  Oct 19, 20261m 50s
  More actions for workflow run 813

• Refresh generated project statistics and attribution

  completed successfully:
  Python CI#812:Commite19064fpushedbyVilin97
  main

  Oct 19, 20261m 59s
  More actions for workflow run 812

• Add graph removal and extremal stability collection

  completed successfully:
  Python CI#811:Pull request#681synchronizebyVilin97
  jtraverso:jtraverso/graph-removal-extremal-stability

  Oct 19, 20261m 42s
  More actions for workflow run 811

• Python CI

  completed successfully:
  Python CI#810:Merge group checks requested
  Oct 19, 202623s
  More actions for workflow run 810

• Add graph removal and extremal stability collection

  completed successfully:
  Python CI#809:Pull request#681synchronizebyVilin97
  jtraverso:jtraverso/graph-removal-extremal-stability

  Oct 19, 20261m 47s
  More actions for workflow run 809

• Refresh generated project statistics and attribution

  completed successfully:
  Python CI#808:Commitcef43c9pushedbyVilin97
  main

  Oct 19, 20261m 48s
  More actions for workflow run 808

• Add graph removal and extremal stability collection

  completed successfully:
  Python CI#807:Pull request#681synchronizebyjtraverso
  jtraverso:jtraverso/graph-removal-extremal-stability

  Oct 19, 202626s
  More actions for workflow run 807

• perf(PDL): shorten tableau compilation dependencies

  completed successfully:
  Python CI#806:Pull request#682openedbyVilin97
  codex/daily-optimize-20261018T2103

  Oct 19, 202623s
  More actions for workflow run 806

• Add graph removal and extremal stability collection

  completed successfully:
  Python CI#805:Pull request#681openedbyjtraverso
  jtraverso:jtraverso/graph-removal-extremal-stability

  Oct 19, 202623s
  More actions for workflow run 805

• Add classical matching and factor theory collection

  completed successfully:
  Python CI#804:Pull request#680synchronizebyjtraverso
  jtraverso:jtraverso/classical-matching-factors

  Oct 19, 202619s
  More actions for workflow run 804

• Python CI

  completed successfully:
  Python CI#803:Merge group checks requested
  Oct 19, 202623s
  More actions for workflow run 803

• Add classical matching and factor theory collection

  completed successfully:
  Python CI#802:Pull request#680openedbyjtraverso
  jtraverso:jtraverso/classical-matching-factors

  Oct 18, 202619s
  More actions for workflow run 802