All workflows

Workflow runs

• Auto-rebase open PRs

  currently running:
  Auto-rebase open PRs#1556:completedbygithub-merge-queue[bot]Bot
  Oct 20, 2026In progress
  More actions for workflow run 1556

• Generated metadata

  completed successfully:
  Generated metadata#307:Scheduled
  main

  Oct 20, 202635s
  More actions for workflow run 307

• Refresh generated project statistics and attribution

  completed successfully:
  Python CI#849:Commit2aaa722pushedbyVilin97
  main

  Oct 20, 20261m 50s
  More actions for workflow run 849

• Import pointwise provable equality and failure of composition (#690)

  completed successfully:
  Generated metadata#306:Commit998bd29pushedbygithub-merge-queue[bot]Bot
  main

  Oct 20, 202630s
  More actions for workflow run 306

• Import pointwise provable equality and failure of composition (#690)

  currently running:
  Lean Action CI#6834:Commit998bd29pushedbygithub-merge-queue[bot]Bot
  main

  Oct 20, 2026In progress
  More actions for workflow run 6834

• Import pointwise provable equality and failure of composition (#690)

  skipped:
  Auto-rebase open PRs#1555:Commit998bd29pushedbygithub-merge-queue[bot]Bot
  main

  Oct 20, 20261s
  More actions for workflow run 1555

• Auto-rebase open PRs

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

• WIP: Remove blanket section exposure across Lean Pool

  completed successfully:
  Project Advisory Comment#7529:Pull request#529editedbyVilin97
  Oct 20, 202637s
  More actions for workflow run 7529

• Auto-rebase open PRs

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

• Cache maintenance

  completed successfully:
  Cache maintenance#51:Scheduled
  main

  Oct 20, 202625s
  More actions for workflow run 51

• WIP: Remove blanket section exposure across Lean Pool

  completed successfully:
  Project Advisory Comment#7528:Pull request#529editedbyVilin97
  Oct 20, 202634s
  More actions for workflow run 7528

• WIP: Remove blanket section exposure across Lean Pool

  completed successfully:
  Project Advisory Comment#7527:Pull request#529editedbyVilin97
  Oct 20, 202637s
  More actions for workflow run 7527

• Auto-rebase open PRs

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

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#1551:completedbyVilin97
  Oct 20, 202611s
  More actions for workflow run 1551

• Workflow Lint

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

• Exposition Verify

  completed successfully:
  Exposition Verify#372:Merge group checks requested
  Oct 20, 202625s
  More actions for workflow run 372

• Python CI

  completed successfully:
  Python CI#848:Merge group checks requested
  Oct 20, 202629s
  More actions for workflow run 848

• Documentation

  completed successfully:
  Documentation#6513:Merge group checks requested
  Oct 20, 202625s
  More actions for workflow run 6513

• PR Separation Guard

  completed successfully:
  PR Separation Guard#6441:Merge group checks requested
  Oct 20, 202624s
  More actions for workflow run 6441

• Lean Action CI

  completed successfully:
  Lean Action CI#6833:Merge group checks requested
  Oct 20, 20261h 32m 2s
  More actions for workflow run 6833

• Refresh generated project statistics and attribution

  completed successfully:
  Python CI#847:Commit078c94dpushedbyVilin97
  main

  Oct 20, 20261m 49s
  More actions for workflow run 847

• perf(Vlasov): reduce peak compiler RSS by 11.39% (#688)

  completed successfully:
  Lean Action CI#6832:Commited76a7cpushedbygithub-merge-queue[bot]Bot
  main

  Oct 20, 20261h 50m 49s
  More actions for workflow run 6832

• perf(Vlasov): reduce peak compiler RSS by 11.39% (#688)

  completed successfully:
  Generated metadata#305:Commited76a7cpushedbygithub-merge-queue[bot]Bot
  main

  Oct 20, 202638s
  More actions for workflow run 305

• perf(Vlasov): reduce peak compiler RSS by 11.39% (#688)

  skipped:
  Auto-rebase open PRs#1550:Commited76a7cpushedbygithub-merge-queue[bot]Bot
  main

  Oct 20, 20266s
  More actions for workflow run 1550

• Auto-rebase open PRs

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