All workflows

Workflow runs

• Post-build

  completed successfully:
  Post-build#1877:completedbydownstream-lean4[bot]Bot
  Nov 2, 20265m 39s
  More actions for workflow run 1877

• Post-build export

  completed successfully:
  Post-build export#1334:completedbydownstream-lean4[bot]Bot
  Nov 2, 202622s
  More actions for workflow run 1334

• Update toolchain

  completed successfully:
  Update toolchain#1830:Scheduled
  master

  Nov 2, 202619s
  More actions for workflow run 1830

• downstream: update repo mathlib4

  completed successfully:
  Build subrepos#1922:Commit928fc51pushedbydownstream-lean4[bot]Bot
  master

  Nov 2, 202617m 6s
  More actions for workflow run 1922

• Update subrepos

  completed successfully:
  Update subrepos#1831:Scheduled
  master

  Nov 2, 20261m 27s
  More actions for workflow run 1831

• Update toolchain

  completed successfully:
  Update toolchain#1829:Scheduled
  master

  Nov 1, 202618s
  More actions for workflow run 1829

• Post-build

  completed successfully:
  Post-build#1876:completedbydownstream-lean4[bot]Bot
  Nov 1, 20266m 49s
  More actions for workflow run 1876

• Post-build export

  completed successfully:
  Post-build export#1333:completedbydownstream-lean4[bot]Bot
  Nov 1, 202623s
  More actions for workflow run 1333

• downstream: update repo mathlib4

  completed successfully:
  Build subrepos#1921:Commit725d861pushedbydownstream-lean4[bot]Bot
  master

  Nov 1, 202617m 33s
  More actions for workflow run 1921

• Update subrepos

  completed successfully:
  Update subrepos#1830:Scheduled
  master

  Nov 1, 20261m 36s
  More actions for workflow run 1830

• Post-build export

  completed successfully:
  Post-build export#1332:completedbydownstream-lean4[bot]Bot
  Nov 1, 202621s
  More actions for workflow run 1332

• Post-build

  completed successfully:
  Post-build#1875:completedbydownstream-lean4[bot]Bot
  Nov 1, 20267m 30s
  More actions for workflow run 1875

• Update toolchain

  completed successfully:
  Update toolchain#1828:Scheduled
  master

  Nov 1, 202622s
  More actions for workflow run 1828

• downstream: update repo mathlib4

  completed successfully:
  Build subrepos#1920:Commitd08035cpushedbydownstream-lean4[bot]Bot
  master

  Nov 1, 202631m 43s
  More actions for workflow run 1920

• Update subrepos

  completed successfully:
  Update subrepos#1829:Scheduled
  master

  Nov 1, 20261m 56s
  More actions for workflow run 1829

• Update toolchain

  completed successfully:
  Update toolchain#1827:Scheduled
  master

  Nov 1, 202621s
  More actions for workflow run 1827

• Post-build export

  completed successfully:
  Post-build export#1331:completedbydownstream-lean4[bot]Bot
  Nov 1, 202622s
  More actions for workflow run 1331

• Post-build

  completed successfully:
  Post-build#1874:completedbydownstream-lean4[bot]Bot
  Nov 1, 20266m 7s
  More actions for workflow run 1874

• downstream: update repo mathlib4

  completed successfully:
  Build subrepos#1919:Commitd5f4719pushedbydownstream-lean4[bot]Bot
  master

  Nov 1, 202615m 46s
  More actions for workflow run 1919

• Update subrepos

  completed successfully:
  Update subrepos#1828:Scheduled
  master

  Nov 1, 20261m 56s
  More actions for workflow run 1828

• Update toolchain

  completed successfully:
  Update toolchain#1826:Scheduled
  master

  Nov 1, 202622s
  More actions for workflow run 1826

• Post-build

  completed successfully:
  Post-build#1873:completedbydownstream-lean4[bot]Bot
  Nov 1, 20266m 44s
  More actions for workflow run 1873

• Post-build export

  completed successfully:
  Post-build export#1330:completedbydownstream-lean4[bot]Bot
  Nov 1, 202623s
  More actions for workflow run 1330

• downstream: update repo doc-gen4

  completed successfully:
  Build subrepos#1918:Commit448b178pushedbydownstream-lean4[bot]Bot
  master

  Nov 1, 202615m 21s
  More actions for workflow run 1918

• Update subrepos

  completed successfully:
  Update subrepos#1827:Scheduled
  master

  Nov 1, 20262m 5s
  More actions for workflow run 1827