All workflows

Workflow runs

• feat(CompositionAlgebrasOverRings): derive Euclidean Hurwitz theorems from the general theory

  completed successfully:
  Lean Action CI#6932:Pull request#722openedbyskipgaribaldi
  skipgaribaldi:skip/composition-algebras-from-rings

  Oct 28, 20262h 51m 50s
  More actions for workflow run 6932

• feat(CompositionAlgebrasOverRings): derive Euclidean Hurwitz theorems from the general theory

  completed successfully:
  Exposition Verify#459:Pull request#722openedbyskipgaribaldi
  skipgaribaldi:skip/composition-algebras-from-rings

  Oct 28, 202626s
  More actions for workflow run 459

• feat(CompositionAlgebrasOverRings): derive Euclidean Hurwitz theorems from the general theory

  completed successfully:
  Partial Port Audit#5658:Pull request#722openedbyskipgaribaldi
  skipgaribaldi:skip/composition-algebras-from-rings

  Oct 28, 202638s
  More actions for workflow run 5658

• feat(CompositionAlgebrasOverRings): derive Euclidean Hurwitz theorems from the general theory

  completed successfully:
  Project Advisory Comment#7689:Pull request#722openedbyskipgaribaldi
  Oct 28, 202650s
  More actions for workflow run 7689

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#1888:Scheduled
  main

  Oct 28, 202611s
  More actions for workflow run 1888

• Cache maintenance

  completed successfully:
  Cache maintenance#94:Scheduled
  main

  Oct 28, 202627s
  More actions for workflow run 94

• Generated metadata

  completed successfully:
  Generated metadata#359:Scheduled
  main

  Oct 27, 202639s
  More actions for workflow run 359

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#1887:Scheduled
  main

  Oct 27, 20261s
  More actions for workflow run 1887

• Cache maintenance

  completed successfully:
  Cache maintenance#93:Scheduled
  main

  Oct 27, 202626s
  More actions for workflow run 93

• Generated metadata

  completed successfully:
  Generated metadata#358:Scheduled
  main

  Oct 27, 202648s
  More actions for workflow run 358

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#1886:Scheduled
  main

  Oct 27, 20262s
  More actions for workflow run 1886

• Cache maintenance

  completed successfully:
  Cache maintenance#92:Scheduled
  main

  Oct 27, 202629s
  More actions for workflow run 92

• Project Advisory Comment

  completed successfully:
  Project Advisory Comment#7688:Scheduled
  main

  Oct 27, 20267m 0s
  More actions for workflow run 7688

• Stale

  completed successfully:
  Stale#170:Scheduled
  main

  Oct 27, 20268s
  More actions for workflow run 170

• Generated metadata

  completed successfully:
  Generated metadata#357:Scheduled
  main

  Oct 27, 202638s
  More actions for workflow run 357

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#1885:Scheduled
  main

  Oct 27, 20261s
  More actions for workflow run 1885

• Daily documentation

  failed:
  Daily documentation#13:Scheduled
  main

  Oct 27, 20263h 43m 7s
  More actions for workflow run 13

• Cache maintenance

  completed successfully:
  Cache maintenance#91:Scheduled
  main

  Oct 27, 202626s
  More actions for workflow run 91

• Generated metadata

  completed successfully:
  Generated metadata#356:Scheduled
  main

  Oct 27, 202639s
  More actions for workflow run 356

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#1884:Scheduled
  main

  Oct 27, 20268s
  More actions for workflow run 1884

• Cache maintenance

  completed successfully:
  Cache maintenance#90:Scheduled
  main

  Oct 27, 202625s
  More actions for workflow run 90

• Proof Profile Comment

  completed successfully:
  Proof Profile Comment#2708:completedbyloefflerd
  Oct 27, 202610s
  More actions for workflow run 2708

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#1883:completedbyloefflerd
  Oct 27, 20262s
  More actions for workflow run 1883

• Auto-rebase open PRs

  skipped:
  Auto-rebase open PRs#1882:Scheduled
  main

  Oct 27, 20261s
  More actions for workflow run 1882

• Generated metadata

  completed successfully:
  Generated metadata#355:Scheduled
  main

  Oct 27, 202637s
  More actions for workflow run 355