All workflows

Workflow runs

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

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

• Claude's suggestions

  skipped:
  continuous integration#908:Commitaa9df3fpushedbyloefflerd
  DL_fMF_orderAtInfty

  Oct 29, 20261s
  More actions for workflow run 908

• Update Mathlib Dependencies

  skipped:
  Update Mathlib Dependencies#8151:Scheduled
  master

  Oct 29, 20261s
  More actions for workflow run 8151

• Merge conflicts

  skipped:
  Merge conflicts#16928:Scheduled
  master

  Oct 29, 20261s
  More actions for workflow run 16928

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

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

• reorder imports

  skipped:
  continuous integration#907:Commitef7859apushedbyloefflerd
  DL_amicegroup

  Oct 29, 20261s
  More actions for workflow run 907

• Docgen test on nightly-testing

  skipped:
  Docgen test on nightly-testing#338:Scheduled
  master

  Oct 29, 20261s
  More actions for workflow run 338

• Dependent Issues

  skipped:
  Dependent Issues#18363:Scheduled
  master

  Oct 29, 20261s
  More actions for workflow run 18363

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

  skipped:
  Post to zulip if the nightly-testing branch is failing.#906:completedbyloefflerd
  Oct 29, 20269s
  More actions for workflow run 906

• Merge remote-tracking branch 'upstream/master' into DL_flexible_query

  skipped:
  continuous integration#906:Commita2afcacpushedbyloefflerd
  DL_flexible_query

  Oct 29, 20261s
  More actions for workflow run 906

• automatically assign reviewers

  skipped:
  automatically assign reviewers#421:Scheduled
  master

  Oct 29, 20261s
  More actions for workflow run 421

• Merge master to nightly

  skipped:
  Merge master to nightly#1646:Scheduled
  master

  Oct 29, 20261s
  More actions for workflow run 1646

• docker

  skipped:
  docker#501:Scheduled
  master

  Oct 29, 2026Skipped
  More actions for workflow run 501

• Daily CI Workflow

  skipped:
  Daily CI Workflow#501:Scheduled
  master

  Oct 29, 2026Skipped
  More actions for workflow run 501

• Merge conflicts

  skipped:
  Merge conflicts#16927:Scheduled
  master

  Oct 29, 20261s
  More actions for workflow run 16927

• Update Mathlib Dependencies

  skipped:
  Update Mathlib Dependencies#8150:Scheduled
  master

  Oct 29, 20261s
  More actions for workflow run 8150

• Dependent Issues

  skipped:
  Dependent Issues#18362:Scheduled
  master

  Oct 29, 20261s
  More actions for workflow run 18362

• Merge conflicts

  skipped:
  Merge conflicts#16926:Scheduled
  master

  Oct 28, 20262s
  More actions for workflow run 16926

• Update Mathlib Dependencies

  skipped:
  Update Mathlib Dependencies#8149:Scheduled
  master

  Oct 28, 20268s
  More actions for workflow run 8149

• Bump lean-toolchain on nightly-testing

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

  Oct 28, 20261s
  More actions for workflow run 2343

• Dependent Issues

  skipped:
  Dependent Issues#18361:Scheduled
  master

  Oct 28, 20261s
  More actions for workflow run 18361

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

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

• Apply batched suggestions from code review

  skipped:
  continuous integration#905:Commit2ec1cdfpushedbyloefflerd
  DL_fMF_orderAtInfty

  Oct 28, 20262s
  More actions for workflow run 905

• Apply batched suggestions from code review

  completed successfully:
  Run pre-commit and in-place update PR on push#710:Commit2ec1cdfpushedbyloefflerd
  DL_fMF_orderAtInfty

  Oct 28, 202655s
  More actions for workflow run 710

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

  skipped:
  Post to zulip if the nightly-testing branch is failing.#904:completedbyloefflerd
  Oct 28, 20268s
  More actions for workflow run 904