All workflows

Workflow runs

• Pin documentation build to ubuntu-24.04

  completed successfully:
  Build#22:Commit0d9d065pushedbykebekus
  main

  Nov 12, 20262m 27s
  More actions for workflow run 22

• Pin documentation build to ubuntu-24.04

  completed successfully:
  Documentation#11:Commit0d9d065pushedbykebekus
  main

  Nov 12, 202630m 59s
  More actions for workflow run 11

• Update

  completed successfully:
  Build#21:Commitd060ef1pushedbykebekus
  main

  Nov 12, 20263m 58s
  More actions for workflow run 21

• Update

  failed:
  Documentation#10:Commitd060ef1pushedbykebekus
  main

  Nov 12, 20266m 47s
  More actions for workflow run 10

• Update Mathlib

  failed:
  Build#20:Pull request#6synchronizebygithub-actions[bot]Bot
  ci/update-mathlib

  Nov 12, 20261d 1h 48m 24s
  More actions for workflow run 20

• Update Mathlib

  completed successfully:
  Update Mathlib#10:Scheduled
  main

  Nov 12, 20264m 18s
  More actions for workflow run 10

• Update Mathlib

  requires action with the application:
  Build#19:Pull request#6synchronizebygithub-actions[bot]Bot
  ci/update-mathlib

  Nov 9, 2026Action required
  More actions for workflow run 19

• Update Mathlib

  completed successfully:
  Update Mathlib#9:Scheduled
  main

  Nov 9, 20263m 41s
  More actions for workflow run 9

• Update Mathlib

  requires action with the application:
  Build#18:Pull request#6synchronizebygithub-actions[bot]Bot
  ci/update-mathlib

  Nov 5, 2026Action required
  More actions for workflow run 18

• Update Mathlib

  completed successfully:
  Update Mathlib#8:Scheduled
  main

  Nov 5, 20264m 10s
  More actions for workflow run 8

• Update lake-manifest.json

  completed successfully:
  Build#17:Commit22e1439pushedbykebekus
  main

  Nov 5, 20264m 13s
  More actions for workflow run 17

• Update lake-manifest.json

  completed successfully:
  Documentation#9:Commit22e1439pushedbykebekus
  main

  Nov 5, 202639m 52s
  More actions for workflow run 9

• Update Mathlib

  requires action with the application:
  Build#16:Pull request#6synchronizebygithub-actions[bot]Bot
  ci/update-mathlib

  Nov 2, 2026Action required
  More actions for workflow run 16

• Update Mathlib

  completed successfully:
  Update Mathlib#7:Scheduled
  main

  Nov 2, 20263m 19s
  More actions for workflow run 7

• Update Mathlib

  requires action with the application:
  Build#15:Pull request#6synchronizebygithub-actions[bot]Bot
  ci/update-mathlib

  Oct 29, 2026Action required
  More actions for workflow run 15

• Update Mathlib

  completed successfully:
  Update Mathlib#6:Scheduled
  main

  Oct 29, 20264m 3s
  More actions for workflow run 6

• Next PR

  completed successfully:
  Documentation#8:Commit1d45552pushedbykebekus
  main

  Oct 29, 202636m 32s
  More actions for workflow run 8

• Next PR

  completed successfully:
  Build#14:Commit1d45552pushedbykebekus
  main

  Oct 29, 20264m 4s
  More actions for workflow run 14

• Cleanup

  completed successfully:
  Build#13:Commit109ed99pushedbykebekus
  main

  Oct 28, 20263m 24s
  More actions for workflow run 13

• Cleanup

  completed successfully:
  Documentation#7:Commit109ed99pushedbykebekus
  main

  Oct 28, 202635m 44s
  More actions for workflow run 7

• Cleanup

  completed successfully:
  Build#12:Commit8105defpushedbykebekus
  main

  Oct 26, 20263m 45s
  More actions for workflow run 12

• Cleanup

  completed successfully:
  Documentation#6:Commit8105defpushedbykebekus
  main

  Oct 26, 202633m 15s
  More actions for workflow run 6

• Update lake-manifest.json

  completed successfully:
  Build#11:Commit9f0b0a1pushedbykebekus
  main

  Oct 26, 20263m 53s
  More actions for workflow run 11

• Update lake-manifest.json

  completed successfully:
  Documentation#5:Commit9f0b0a1pushedbykebekus
  main

  Oct 26, 202637m 18s
  More actions for workflow run 5

• Update Mathlib

  requires action with the application:
  Build#10:Pull request#6synchronizebygithub-actions[bot]Bot
  ci/update-mathlib

  Oct 26, 2026Action required
  More actions for workflow run 10