All workflows

Workflow runs

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#1782:Scheduled
  main

  Oct 22, 20269s
  More actions for workflow run 1782

• Cache maintenance

  completed successfully:
  Cache maintenance#66:Scheduled
  main

  Oct 22, 202626s
  More actions for workflow run 66

• Proof Profile Comment

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

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#2666:completedbygreptile-apps[bot]Bot
  Oct 22, 20267s
  More actions for workflow run 2666

• Optimize QuantumParallelRepetition proof elaboration and imports

  skipped:
  Proof Profile#3317:Issue comment#709 (comment)createdbygreptile-apps[bot]Bot
  Oct 22, 20261s
  More actions for workflow run 3317

• Generated metadata

  completed successfully:
  Generated metadata#333:Scheduled
  main

  Oct 22, 202635s
  More actions for workflow run 333

• Auto-rebase open PRs

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

• Auto-rebase open PRs

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

• Optimize QuantumParallelRepetition proof elaboration and imports

  completed successfully:
  Workflow Lint#680:Pull request#709openedbyVilin97
  codex/daily-optimize-2026-10-22

  Oct 22, 202625s
  More actions for workflow run 680

• Optimize QuantumParallelRepetition proof elaboration and imports

  completed successfully:
  Proof Profile#3316:Pull request#709openedbyVilin97
  codex/daily-optimize-2026-10-22

  Oct 22, 202614m 31s
  More actions for workflow run 3316

• Optimize QuantumParallelRepetition proof elaboration and imports

  completed successfully:
  Lean Action CI#6907:Pull request#709openedbyVilin97
  codex/daily-optimize-2026-10-22

  Oct 22, 20262h 28m 24s
  More actions for workflow run 6907

• Optimize QuantumParallelRepetition proof elaboration and imports

  completed successfully:
  Partial Port Audit#5641:Pull request#709openedbyVilin97
  codex/daily-optimize-2026-10-22

  Oct 22, 202632s
  More actions for workflow run 5641

• Optimize QuantumParallelRepetition proof elaboration and imports

  completed successfully:
  Project Advisory Comment#7652:Pull request#709openedbyVilin97
  Oct 22, 202646s
  More actions for workflow run 7652

• Optimize QuantumParallelRepetition proof elaboration and imports

  completed successfully:
  Documentation#6574:Pull request#709openedbyVilin97
  codex/daily-optimize-2026-10-22

  Oct 22, 202621s
  More actions for workflow run 6574

• Optimize QuantumParallelRepetition proof elaboration and imports

  completed successfully:
  PR Separation Guard#6502:Pull request#709openedbyVilin97
  codex/daily-optimize-2026-10-22

  Oct 22, 202628s
  More actions for workflow run 6502

• Optimize QuantumParallelRepetition proof elaboration and imports

  completed successfully:
  Python CI#913:Pull request#709openedbyVilin97
  codex/daily-optimize-2026-10-22

  Oct 22, 202638s
  More actions for workflow run 913

• Optimize QuantumParallelRepetition proof elaboration and imports

  completed successfully:
  Exposition Verify#433:Pull request#709openedbyVilin97
  codex/daily-optimize-2026-10-22

  Oct 22, 202628s
  More actions for workflow run 433

• Import CCDN dimension growth and uniform point-counting bounds

  completed successfully:
  Project Advisory Comment#7651:Pull request#707editedbyVilin97
  Oct 22, 202651s
  More actions for workflow run 7651

• Import CCDN dimension growth and uniform point-counting bounds

  completed successfully:
  Project Advisory Comment#7650:Pull request#707editedbyVilin97
  Oct 22, 202649s
  More actions for workflow run 7650

• Auto-rebase open PRs

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

• Proof Profile Comment

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

• Import CCDN dimension growth and uniform point-counting bounds

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

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#1778:completedbygithub-merge-queue[bot]Bot
  Oct 22, 20261s
  More actions for workflow run 1778

• Import CCDN dimension growth and uniform point-counting bounds

  completed successfully:
  Project Advisory Comment#7649:Pull request#707editedbyVilin97
  Oct 22, 202648s
  More actions for workflow run 7649

• Auto-rebase open PRs

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