All workflows

Workflow runs

• Auto-rebase open PRs

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

• Reduce SmallUndecidableGroups compilation memory

  completed successfully:
  Project Advisory Comment#7661:Pull request#714openedbyVilin97
  Oct 23, 202641s
  More actions for workflow run 7661

• Reduce SmallUndecidableGroups compilation memory

  completed successfully:
  Proof Profile#3331:Pull request#714openedbyVilin97
  vilin/optimize-small-groups-20261023

  Oct 23, 20269m 12s
  More actions for workflow run 3331

• Reduce SmallUndecidableGroups compilation memory

  completed successfully:
  Lean Action CI#6915:Pull request#714openedbyVilin97
  vilin/optimize-small-groups-20261023

  Oct 23, 20263h 45m 12s
  More actions for workflow run 6915

• Reduce SmallUndecidableGroups compilation memory

  completed successfully:
  Partial Port Audit#5645:Pull request#714openedbyVilin97
  vilin/optimize-small-groups-20261023

  Oct 23, 202638s
  More actions for workflow run 5645

• Reduce SmallUndecidableGroups compilation memory

  completed successfully:
  Python CI#921:Pull request#714openedbyVilin97
  vilin/optimize-small-groups-20261023

  Oct 23, 202626s
  More actions for workflow run 921

• Reduce SmallUndecidableGroups compilation memory

  completed successfully:
  Exposition Verify#441:Pull request#714openedbyVilin97
  vilin/optimize-small-groups-20261023

  Oct 23, 202624s
  More actions for workflow run 441

• Reduce SmallUndecidableGroups compilation memory

  completed successfully:
  Workflow Lint#688:Pull request#714openedbyVilin97
  vilin/optimize-small-groups-20261023

  Oct 23, 202624s
  More actions for workflow run 688

• Reduce SmallUndecidableGroups compilation memory

  completed successfully:
  Documentation#6582:Pull request#714openedbyVilin97
  vilin/optimize-small-groups-20261023

  Oct 23, 202621s
  More actions for workflow run 6582

• Reduce SmallUndecidableGroups compilation memory

  completed successfully:
  PR Separation Guard#6510:Pull request#714openedbyVilin97
  vilin/optimize-small-groups-20261023

  Oct 23, 202624s
  More actions for workflow run 6510

• Generated metadata

  completed successfully:
  Generated metadata#338:Scheduled
  main

  Oct 23, 202635s
  More actions for workflow run 338

• Auto-rebase open PRs

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

• Cache maintenance

  completed successfully:
  Cache maintenance#71:Scheduled
  main

  Oct 23, 202627s
  More actions for workflow run 71

• Auto-rebase open PRs

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

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#2680:completedbyloefflerd
  Oct 23, 20268s
  More actions for workflow run 2680

• Auto-rebase open PRs

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

  Oct 23, 20268s
  More actions for workflow run 1805

• Proof Profile Comment

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

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#2678:completedbygreptile-apps[bot]Bot
  Oct 23, 20266s
  More actions for workflow run 2678

• perf(Incompleteness): avoid kernel reduction in term construction proofs

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

• Auto-rebase open PRs

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

• Auto-rebase open PRs

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

• perf(Incompleteness): avoid kernel reduction in term construction proofs

  completed successfully:
  Workflow Lint#687:Pull request#713openedbyVilin97
  vilin/optimization-20261023

  Oct 23, 202623s
  More actions for workflow run 687

• perf(Incompleteness): avoid kernel reduction in term construction proofs

  failed:
  Proof Profile#3329:Pull request#713openedbyVilin97
  vilin/optimization-20261023

  Oct 23, 202616m 39s
  More actions for workflow run 3329

• perf(Incompleteness): avoid kernel reduction in term construction proofs

  completed successfully:
  Exposition Verify#440:Pull request#713openedbyVilin97
  vilin/optimization-20261023

  Oct 23, 202627s
  More actions for workflow run 440

• perf(Incompleteness): avoid kernel reduction in term construction proofs

  completed successfully:
  Lean Action CI#6914:Pull request#713openedbyVilin97
  vilin/optimization-20261023

  Oct 23, 20263h 5m 26s
  More actions for workflow run 6914