All workflows

Workflow runs

• Import CCDN dimension growth and uniform point-counting bounds

  completed successfully:
  PR Separation Guard#6491:Pull request#707synchronizebyVilin97
  codex/daily-ccdn-20261022

  Oct 22, 202627s
  More actions for workflow run 6491

• Import CCDN dimension growth and uniform point-counting bounds

  completed successfully:
  Workflow Lint#669:Pull request#707synchronizebyVilin97
  codex/daily-ccdn-20261022

  Oct 22, 202623s
  More actions for workflow run 669

• Import CCDN dimension growth and uniform point-counting bounds

  completed successfully:
  Documentation#6563:Pull request#707synchronizebyVilin97
  codex/daily-ccdn-20261022

  Oct 22, 202633s
  More actions for workflow run 6563

• Import CCDN dimension growth and uniform point-counting bounds

  completed successfully:
  Project Advisory Comment#7624:Pull request#707synchronizebyVilin97
  Oct 22, 202644s
  More actions for workflow run 7624

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#2637:completedbyVilin97
  Oct 22, 20268s
  More actions for workflow run 2637

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#2636:completedbyVilin97
  Oct 22, 20268s
  More actions for workflow run 2636

• Import CCDN dimension growth and uniform point-counting bounds

  skipped:
  Proof Profile#3288:Issue comment#707 (comment)createdbyVilin97
  Oct 22, 20261s
  More actions for workflow run 3288

• Daily documentation

  currently running:
  Daily documentation#8:Scheduled
  main

  Oct 22, 2026In progress
  More actions for workflow run 8

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#1736:completedbyloefflerd
  Oct 22, 202610s
  More actions for workflow run 1736

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#1735:completedbyloefflerd
  Oct 22, 20261s
  More actions for workflow run 1735

• Eichler-Shimura material from FLT

  currently running:
  Lean Action CI#6894:Pull request#696synchronizebyloefflerd
  loefflerd:main

  Oct 22, 2026In progress
  More actions for workflow run 6894

• Eichler-Shimura material from FLT

  completed successfully:
  Exposition Verify#421:Pull request#696synchronizebyloefflerd
  loefflerd:main

  Oct 22, 202630s
  More actions for workflow run 421

• Eichler-Shimura material from FLT

  completed successfully:
  Documentation#6562:Pull request#696synchronizebyloefflerd
  loefflerd:main

  Oct 22, 202628s
  More actions for workflow run 6562

• Eichler-Shimura material from FLT

  completed successfully:
  Python CI#901:Pull request#696synchronizebyloefflerd
  loefflerd:main

  Oct 22, 20262m 4s
  More actions for workflow run 901

• Eichler-Shimura material from FLT

  completed successfully:
  PR Separation Guard#6490:Pull request#696synchronizebyloefflerd
  loefflerd:main

  Oct 22, 202633s
  More actions for workflow run 6490

• Eichler-Shimura material from FLT

  completed successfully:
  Partial Port Audit#5631:Pull request#696synchronizebyloefflerd
  loefflerd:main

  Oct 22, 202645s
  More actions for workflow run 5631

• Eichler-Shimura material from FLT

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

  Oct 22, 202628s
  More actions for workflow run 668

• Eichler-Shimura material from FLT

  currently running:
  Proof Profile#3287:Pull request#696synchronizebyloefflerd
  loefflerd:main

  Oct 22, 2026In progress
  More actions for workflow run 3287

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#2635:completedbyloefflerd
  Oct 22, 202611s
  More actions for workflow run 2635

• Eichler-Shimura material from FLT

  completed successfully:
  Project Advisory Comment#7623:Pull request#696synchronizebyloefflerd
  Oct 22, 202653s
  More actions for workflow run 7623

• Reduce repeated proof elaboration in MetricCodes (#704)

  skipped:
  Auto-rebase open PRs#1734:Commit5ba0834pushedbygithub-merge-queue[bot]Bot
  main

  Oct 22, 20262s
  More actions for workflow run 1734

• Reduce repeated proof elaboration in MetricCodes (#704)

  completed successfully:
  Lean Action CI#6893:Commit5ba0834pushedbygithub-merge-queue[bot]Bot
  main

  Oct 22, 20262h 29m 24s
  More actions for workflow run 6893

• Reduce repeated proof elaboration in MetricCodes (#704)

  completed successfully:
  Generated metadata#329:Commit5ba0834pushedbygithub-merge-queue[bot]Bot
  main

  Oct 22, 202638s
  More actions for workflow run 329

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#1733:completedbyVilin97
  Oct 22, 20269s
  More actions for workflow run 1733

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#2634:completedbyVilin97
  Oct 22, 20266s
  More actions for workflow run 2634