All workflows

Workflow runs

• Zulip emoji CI status

  skipped:
  Zulip emoji CI status#238:completedbyrobin-carlier
  Oct 20, 20262s
  More actions for workflow run 238

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

  skipped:
  Post to zulip if the nightly-testing branch is failing.#812:completedbyrobin-carlier
  Oct 20, 20261s
  More actions for workflow run 812

• Export workflow telemetry

  skipped:
  Export workflow telemetry#125:completedbyrobin-carlier
  Oct 20, 20261s
  More actions for workflow run 125

• Declarations diff (post-build)

  skipped:
  Declarations diff (post-build)#52:completedbyrobin-carlier
  Oct 20, 20261s
  More actions for workflow run 52

• Zulip emoji CI status

  skipped:
  Zulip emoji CI status#237:requestedbyrobin-carlier
  Oct 20, 20261s
  More actions for workflow run 237

• feat(SmallObject): start the induction at a non-limit element

  skipped:
  continuous integration#812:Commita6ce82bpushedbyrobin-carlier
  wellorderinductiondata_start_2

  Oct 20, 20268s
  More actions for workflow run 812

• feat(SmallObject): start the induction at a non-limit element

  completed successfully:
  Run pre-commit and in-place update PR on push#190:Commita6ce82bpushedbyrobin-carlier
  wellorderinductiondata_start_2

  Oct 20, 202644s
  More actions for workflow run 190

• Merge conflicts

  skipped:
  Merge conflicts#17862:Scheduled
  master

  Oct 20, 20261s
  More actions for workflow run 17862

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

  skipped:
  Post to zulip if the nightly-testing branch is failing.#811:completedbyrobin-carlier
  Oct 20, 202611s
  More actions for workflow run 811

• Export workflow telemetry

  skipped:
  Export workflow telemetry#124:completedbyrobin-carlier
  Oct 20, 20261s
  More actions for workflow run 124

• Declarations diff (post-build)

  skipped:
  Declarations diff (post-build)#51:completedbyrobin-carlier
  Oct 20, 20261s
  More actions for workflow run 51

• Zulip emoji CI status

  skipped:
  Zulip emoji CI status#236:completedbyrobin-carlier
  Oct 20, 20261s
  More actions for workflow run 236

• Zulip emoji CI status

  skipped:
  Zulip emoji CI status#235:requestedbyrobin-carlier
  Oct 20, 20261s
  More actions for workflow run 235

• Merge remote-tracking branch 'upstream/master' into test-iio-iic-impl…

  skipped:
  continuous integration#811:Commite46766apushedbyrobin-carlier
  test-iio-iic-implicit_reducible

  Oct 20, 20261s
  More actions for workflow run 811

• Merge remote-tracking branch 'upstream/master' into test-iio-iic-impl…

  completed successfully:
  Run pre-commit and in-place update PR on push#189:Commite46766apushedbyrobin-carlier
  test-iio-iic-implicit_reducible

  Oct 20, 202640s
  More actions for workflow run 189

• Daily master tag

  skipped:
  Daily master tag#222:Scheduled
  master

  Oct 20, 202610s
  More actions for workflow run 222

• Bump toolchain and merge pr-testing branches

  skipped:
  Bump toolchain and merge pr-testing branches#1097:Scheduled
  master

  Oct 20, 20261s
  More actions for workflow run 1097

• Dependent Issues

  skipped:
  Dependent Issues#18326:Scheduled
  master

  Oct 20, 20268s
  More actions for workflow run 18326

• Update Mathlib Dependencies

  skipped:
  Update Mathlib Dependencies#8587:Scheduled
  master

  Oct 20, 20261s
  More actions for workflow run 8587

• Lake cache shadow (master)

  skipped:
  Lake cache shadow (master)#138:Scheduled
  master

  Oct 20, 20261s
  More actions for workflow run 138

• Merge conflicts

  skipped:
  Merge conflicts#17861:Scheduled
  master

  Oct 20, 20261s
  More actions for workflow run 17861

• Dependent Issues

  skipped:
  Dependent Issues#18325:Scheduled
  master

  Oct 20, 2026Skipped
  More actions for workflow run 18325

• Update Mathlib Dependencies

  skipped:
  Update Mathlib Dependencies#8586:Scheduled
  master

  Oct 20, 20269s
  More actions for workflow run 8586

• Merge conflicts

  skipped:
  Merge conflicts#17860:Scheduled
  master

  Oct 20, 20261s
  More actions for workflow run 17860

• Merge master to nightly

  skipped:
  Merge master to nightly#1907:Scheduled
  master

  Oct 20, 20261s
  More actions for workflow run 1907