All workflows

Workflow runs

• Cache maintenance

  completed successfully:
  Cache maintenance#80:Scheduled
  main

  Oct 25, 202625s
  More actions for workflow run 80

• Auto-rebase open PRs

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

• Generated metadata

  completed successfully:
  Generated metadata#346:Scheduled
  main

  Oct 25, 202635s
  More actions for workflow run 346

• Auto-rebase open PRs

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

  Oct 25, 202610s
  More actions for workflow run 1843

• Proof Profile Comment

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

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#2696:completedbygreptile-apps[bot]Bot
  Oct 25, 20265s
  More actions for workflow run 2696

• Optimize DomainTheory imports and repeated proofs

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

• Auto-rebase open PRs

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

• Auto-rebase open PRs

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

• Optimize DomainTheory imports and repeated proofs

  completed successfully:
  Exposition Verify#448:Pull request#718openedbyVilin97
  vilin/optimize-20261024-evening

  Oct 25, 202623s
  More actions for workflow run 448

• Optimize DomainTheory imports and repeated proofs

  completed successfully:
  PR Separation Guard#6517:Pull request#718openedbyVilin97
  vilin/optimize-20261024-evening

  Oct 25, 202620s
  More actions for workflow run 6517

• Optimize DomainTheory imports and repeated proofs

  completed successfully:
  Proof Profile#3346:Pull request#718openedbyVilin97
  vilin/optimize-20261024-evening

  Oct 25, 202610m 51s
  More actions for workflow run 3346

• Optimize DomainTheory imports and repeated proofs

  completed successfully:
  Documentation#6589:Pull request#718openedbyVilin97
  vilin/optimize-20261024-evening

  Oct 25, 202618s
  More actions for workflow run 6589

• Optimize DomainTheory imports and repeated proofs

  completed successfully:
  Lean Action CI#6922:Pull request#718openedbyVilin97
  vilin/optimize-20261024-evening

  Oct 25, 20263h 47m 26s
  More actions for workflow run 6922

• Optimize DomainTheory imports and repeated proofs

  completed successfully:
  Partial Port Audit#5652:Pull request#718openedbyVilin97
  vilin/optimize-20261024-evening

  Oct 25, 202634s
  More actions for workflow run 5652

• Optimize DomainTheory imports and repeated proofs

  completed successfully:
  Python CI#928:Pull request#718openedbyVilin97
  vilin/optimize-20261024-evening

  Oct 25, 202626s
  More actions for workflow run 928

• Optimize DomainTheory imports and repeated proofs

  completed successfully:
  Workflow Lint#695:Pull request#718openedbyVilin97
  vilin/optimize-20261024-evening

  Oct 25, 202623s
  More actions for workflow run 695

• Optimize DomainTheory imports and repeated proofs

  completed successfully:
  Project Advisory Comment#7672:Pull request#718openedbyVilin97
  Oct 25, 202644s
  More actions for workflow run 7672

• Cache maintenance

  completed successfully:
  Cache maintenance#79:Scheduled
  main

  Oct 25, 202625s
  More actions for workflow run 79

• Generated metadata

  completed successfully:
  Generated metadata#345:Scheduled
  main

  Oct 25, 202643s
  More actions for workflow run 345

• Auto-rebase open PRs

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

  Oct 25, 20261s
  More actions for workflow run 1840

• Proof Profile Comment

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

• Cache maintenance

  completed successfully:
  Cache maintenance#78:Scheduled
  main

  Oct 24, 202626s
  More actions for workflow run 78

• Auto-rebase open PRs

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

  Oct 24, 20261s
  More actions for workflow run 1839

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#1838:completedbyloefflerd
  Oct 24, 20268s
  More actions for workflow run 1838