All workflows

Workflow runs

• Update mathlib

  completed successfully:
  Documentation#4:Commit4d5e433pushedbykebekus
  main

  Oct 20, 202631m 37s
  More actions for workflow run 4

• Update mathlib

  completed successfully:
  Build#8:Commit4d5e433pushedbykebekus
  main

  Oct 20, 20264m 12s
  More actions for workflow run 8

• Update Mathlib

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

  Oct 19, 2026Action required
  More actions for workflow run 7

• Update Mathlib

  completed successfully:
  Update Mathlib#3:Scheduled
  main

  Oct 19, 20264m 20s
  More actions for workflow run 3

• Update Mathlib

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

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

• Update Mathlib

  completed successfully:
  Update Mathlib#2:Scheduled
  main

  Oct 15, 20263m 44s
  More actions for workflow run 2

• Update

  completed successfully:
  Build#5:Commit5606b50pushedbykebekus
  main

  Oct 14, 20264m 35s
  More actions for workflow run 5

• Update

  completed successfully:
  Documentation#3:Commit5606b50pushedbykebekus
  main

  Oct 14, 202645m 9s
  More actions for workflow run 3

• Merge pull request #5 from kebekus/ci/update-mathlib

  completed successfully:
  Documentation#2:Commit77862c3pushedbykebekus
  main

  Oct 13, 202639m 36s
  More actions for workflow run 2

• Merge pull request #5 from kebekus/ci/update-mathlib

  completed successfully:
  Build#4:Commit77862c3pushedbykebekus
  main

  Oct 13, 20264m 12s
  More actions for workflow run 4

• Update Mathlib

  completed successfully:
  Build#3:Pull request#5openedbygithub-actions[bot]Bot
  ci/update-mathlib

  Oct 12, 20264m 24s
  More actions for workflow run 3

• Update Mathlib

  completed successfully:
  Update Mathlib#1:Scheduled
  main

  Oct 12, 20263m 59s
  More actions for workflow run 1

• Add lint, Mathlib update, and documentation workflows

  completed successfully:
  Build#2:Commit3540691pushedbykebekus
  main

  Oct 8, 20263m 9s
  More actions for workflow run 2

• Add lint, Mathlib update, and documentation workflows

  completed successfully:
  Documentation#1:Commit3540691pushedbykebekus
  main

  Oct 8, 202635m 12s
  More actions for workflow run 1

• Add CI build workflow

  completed successfully:
  Build#1:Commit641509fpushedbykebekus
  main

  Oct 8, 20263m 52s
  More actions for workflow run 1