All workflows

Workflow runs

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#3499:completedbyVilin97
  Nov 13, 202610s
  More actions for workflow run 3499

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#3469:completedbyVilin97
  Nov 13, 20261s
  More actions for workflow run 3469

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#3468:completedbyVilin97
  Nov 13, 20261s
  More actions for workflow run 3468

• Lean Action CI

  currently running:
  Lean Action CI#7447:Merge group checks requested
  Nov 13, 2026In progress
  More actions for workflow run 7447

• PR Separation Guard

  completed successfully:
  PR Separation Guard#6969:Merge group checks requested
  Nov 13, 202630s
  More actions for workflow run 6969

• Documentation

  completed successfully:
  Documentation#7042:Merge group checks requested
  Nov 13, 202632s
  More actions for workflow run 7042

• Exposition Verify

  completed successfully:
  Exposition Verify#902:Merge group checks requested
  Nov 13, 202629s
  More actions for workflow run 902

• Workflow Lint

  completed successfully:
  Workflow Lint#1156:Merge group checks requested
  Nov 13, 202632s
  More actions for workflow run 1156

• Python CI

  completed successfully:
  Python CI#1391:Merge group checks requested
  Nov 13, 202629s
  More actions for workflow run 1391

• Import the Apollonian classification of integer superharmonic matrices

  completed successfully:
  Project Advisory Comment#8338:Pull request#805editedbyVilin97
  Nov 13, 202651s
  More actions for workflow run 8338

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#3498:completedbyVilin97
  Nov 13, 202612s
  More actions for workflow run 3498

• Import order continuity for free p-convex Banach lattices

  skipped:
  Proof Profile#4149:Issue comment#810 (comment)createdbyVilin97
  Nov 13, 20267s
  More actions for workflow run 4149

• Import order continuity for free p-convex Banach lattices

  completed successfully:
  Project Advisory Comment#8337:Pull request#810editedbyVilin97
  Nov 13, 202645s
  More actions for workflow run 8337

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#3467:completedbyVilin97
  Nov 13, 202611s
  More actions for workflow run 3467

• Import order continuity for free p-convex Banach lattices

  completed successfully:
  Project Advisory Comment#8336:Pull request#810editedbyVilin97
  Nov 13, 202644s
  More actions for workflow run 8336

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#3497:completedbyVilin97
  Nov 13, 20266s
  More actions for workflow run 3497

• Import order continuity for free p-convex Banach lattices

  skipped:
  Auto-rebase open PRs#3466:Pull request#810ready_for_reviewbyVilin97
  Nov 13, 20262s
  More actions for workflow run 3466

• Import order continuity for free p-convex Banach lattices

  completed successfully:
  Project Advisory Comment#8335:Pull request#810ready_for_reviewbyVilin97
  Nov 13, 202650s
  More actions for workflow run 8335

• Import order continuity for free p-convex Banach lattices

  completed successfully:
  Proof Profile#4148:Pull request#810ready_for_reviewbyVilin97
  codex/import-fbl-order-continuity-20261113

  Nov 13, 202640m 4s
  More actions for workflow run 4148

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#3496:completedbyVilin97
  Nov 13, 20265s
  More actions for workflow run 3496

• Reduce Chudnovsky proof elaboration cost

  skipped:
  Proof Profile#4147:Issue comment#811 (comment)createdbyVilin97
  Nov 13, 202610s
  More actions for workflow run 4147

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#3465:completedbyVilin97
  Nov 13, 20262s
  More actions for workflow run 3465

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#3464:completedbyVilin97
  Nov 13, 20261s
  More actions for workflow run 3464

• Import order continuity for free p-convex Banach lattices

  completed successfully:
  Documentation#7041:Pull request#810synchronizebyVilin97
  codex/import-fbl-order-continuity-20261113

  Nov 13, 202623s
  More actions for workflow run 7041

• Import order continuity for free p-convex Banach lattices

  completed successfully:
  Workflow Lint#1155:Pull request#810synchronizebyVilin97
  codex/import-fbl-order-continuity-20261113

  Nov 13, 202624s
  More actions for workflow run 1155