All workflows

Workflow runs

• Import Superdiffusion and anomalous regularization

  completed successfully:
  Project Advisory Comment#7162:Pull request#652editedbyVilin97
  Oct 14, 202653s
  More actions for workflow run 7162

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#952:completedbyVilin97
  Oct 14, 202610s
  More actions for workflow run 952

• Auto-rebase open PRs

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

• Import Superdiffusion and anomalous regularization

  completed successfully:
  Workflow Lint#446:Pull request#652synchronizebyVilin97
  codex/daily-superdiffusion-cleanup-20261013

  Oct 14, 202626s
  More actions for workflow run 446

• Import Superdiffusion and anomalous regularization

  completed successfully:
  PR Separation Guard#6271:Pull request#652synchronizebyVilin97
  codex/daily-superdiffusion-cleanup-20261013

  Oct 14, 202639s
  More actions for workflow run 6271

• Import Superdiffusion and anomalous regularization

  completed successfully:
  Partial Port Audit#5478:Pull request#652synchronizebyVilin97
  codex/daily-superdiffusion-cleanup-20261013

  Oct 14, 202649s
  More actions for workflow run 5478

• Import Superdiffusion and anomalous regularization

  completed successfully:
  Documentation#6342:Pull request#652synchronizebyVilin97
  codex/daily-superdiffusion-cleanup-20261013

  Oct 14, 202625s
  More actions for workflow run 6342

• Import Superdiffusion and anomalous regularization

  completed successfully:
  Python CI#663:Pull request#652synchronizebyVilin97
  codex/daily-superdiffusion-cleanup-20261013

  Oct 14, 202621s
  More actions for workflow run 663

• Import Superdiffusion and anomalous regularization

  currently running:
  Lean Action CI#6637:Pull request#652synchronizebyVilin97
  codex/daily-superdiffusion-cleanup-20261013

  Oct 14, 2026In progress
  More actions for workflow run 6637

• Import Superdiffusion and anomalous regularization

  completed successfully:
  Exposition Verify#201:Pull request#652synchronizebyVilin97
  codex/daily-superdiffusion-cleanup-20261013

  Oct 14, 202625s
  More actions for workflow run 201

• Import Superdiffusion and anomalous regularization

  completed successfully:
  Project Advisory Comment#7161:Pull request#652synchronizebyVilin97
  Oct 14, 202653s
  More actions for workflow run 7161

• Auto-rebase open PRs

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

• Auto-rebase open PRs

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

• Auto-rebase open PRs

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

  Oct 14, 202611s
  More actions for workflow run 948

• Cache maintenance

  completed successfully:
  Cache maintenance#18:Scheduled
  main

  Oct 14, 202631s
  More actions for workflow run 18

• Proof Profile Comment

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

• Refresh generated project statistics and attribution

  skipped:
  Proof Profile#2958:Issue comment#655 (comment)createdbygreptile-apps[bot]Bot
  Oct 14, 202611s
  More actions for workflow run 2958

• Refresh generated project statistics and attribution

  completed successfully:
  Generated metadata#249:Pull request#655closedbyVilin97
  Oct 14, 202637s
  More actions for workflow run 249

• Auto-rebase open PRs

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

• Auto-rebase open PRs

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

• Auto-rebase open PRs

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

• Exposition Verify

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

• Python CI

  completed successfully:
  Python CI#662:Merge group checks requested
  Oct 14, 202625s
  More actions for workflow run 662

• Documentation

  completed successfully:
  Documentation#6341:Merge group checks requested
  Oct 14, 202622s
  More actions for workflow run 6341

• Workflow Lint

  completed successfully:
  Workflow Lint#445:Merge group checks requested
  Oct 14, 202621s
  More actions for workflow run 445