All workflows

Workflow runs

• Merge master to nightly

  skipped:
  Merge master to nightly#3529:Scheduled
  master

  Oct 19, 20261s
  More actions for workflow run 3529

• Post to zulip if the nightly-testing branch is failing.

  skipped:
  Post to zulip if the nightly-testing branch is failing.#1124:completedbythorimur
  Oct 19, 20262s
  More actions for workflow run 1124

• chore: improve comment

  skipped:
  continuous integration#1123:Commitf70a744pushedbythorimur
  format-imports-header

  Oct 19, 20269s
  More actions for workflow run 1123

• chore: improve comment

  completed successfully:
  Run pre-commit and in-place update PR on push#1004:Commitf70a744pushedbythorimur
  format-imports-header

  Oct 19, 202642s
  More actions for workflow run 1004

• Dependent Issues

  skipped:
  Dependent Issues#19353:Scheduled
  master

  Oct 19, 20261s
  More actions for workflow run 19353

• Merge conflicts

  skipped:
  Merge conflicts#19819:Scheduled
  master

  Oct 19, 20261s
  More actions for workflow run 19819

• Update Mathlib Dependencies

  skipped:
  Update Mathlib Dependencies#8580:Scheduled
  master

  Oct 19, 20261s
  More actions for workflow run 8580

• Bump lean-toolchain on nightly-testing

  skipped:
  Bump lean-toolchain on nightly-testing#2322:Scheduled
  master

  Oct 19, 20267s
  More actions for workflow run 2322

• Post to zulip if the nightly-testing branch is failing.

  skipped:
  Post to zulip if the nightly-testing branch is failing.#1123:completedbythorimur
  Oct 19, 20261s
  More actions for workflow run 1123

• Merge remote-tracking branch 'upstream/master' into format-imports-he…

  skipped:
  continuous integration#1122:Commit50dbccbpushedbythorimur
  format-imports-header

  Oct 19, 20262s
  More actions for workflow run 1122

• Merge remote-tracking branch 'upstream/master' into format-imports-he…

  completed successfully:
  Run pre-commit and in-place update PR on push#1003:Commit50dbccbpushedbythorimur
  format-imports-header

  Oct 19, 202635s
  More actions for workflow run 1003

• Merge master to nightly

  skipped:
  Merge master to nightly#3528:Scheduled
  master

  Oct 19, 20261s
  More actions for workflow run 3528

• Dependent Issues

  skipped:
  Dependent Issues#19352:Scheduled
  master

  Oct 19, 20261s
  More actions for workflow run 19352

• Merge conflicts

  skipped:
  Merge conflicts#19818:Scheduled
  master

  Oct 19, 20261s
  More actions for workflow run 19818

• Update Mathlib Dependencies

  skipped:
  Update Mathlib Dependencies#8579:Scheduled
  master

  Oct 19, 20261s
  More actions for workflow run 8579

• Late importers report

  skipped:
  Late importers report#71:Scheduled
  master

  Oct 19, 202611s
  More actions for workflow run 71

• Weekly Technical Debt Counters

  skipped:
  Weekly Technical Debt Counters#71:Scheduled
  master

  Oct 19, 20261s
  More actions for workflow run 71

• Weekly Long File Report

  skipped:
  Weekly Long File Report#71:Scheduled
  master

  Oct 19, 202611s
  More actions for workflow run 71

• Close stale issues and PRs

  skipped:
  Close stale issues and PRs#495:Scheduled
  master

  Oct 19, 20269s
  More actions for workflow run 495

• Dependent Issues

  skipped:
  Dependent Issues#19351:Scheduled
  master

  Oct 19, 20261s
  More actions for workflow run 19351

• Merge conflicts

  skipped:
  Merge conflicts#19817:Scheduled
  master

  Oct 19, 20261s
  More actions for workflow run 19817

• Update Mathlib Dependencies

  skipped:
  Update Mathlib Dependencies#8578:Scheduled
  master

  Oct 19, 202610s
  More actions for workflow run 8578

• Merge master to nightly

  skipped:
  Merge master to nightly#3527:Scheduled
  master

  Oct 19, 20268s
  More actions for workflow run 3527

• Daily CI Workflow

  skipped:
  Daily CI Workflow#494:Scheduled
  master

  Oct 19, 20267s
  More actions for workflow run 494

• docker

  skipped:
  docker#494:Scheduled
  master

  Oct 19, 2026Skipped
  More actions for workflow run 494