All workflows

Workflow runs

• Update Lean Project

  failed:
  Update Lean Project#96:Scheduled
  master

  Oct 25, 202642s
  More actions for workflow run 96

• Update Lean Project

  failed:
  Update Lean Project#95:Scheduled
  master

  Oct 18, 202641s
  More actions for workflow run 95

• Update Lean Project

  failed:
  Update Lean Project#94:Scheduled
  master

  Oct 11, 202648s
  More actions for workflow run 94

• Update Lean Project

  failed:
  Update Lean Project#93:Scheduled
  master

  Oct 4, 202642s
  More actions for workflow run 93

• chore: move toolchain to v4.34.1

  completed successfully:
  Lean Action CI#196:Commit74b54d1pushedbychabulhwi
  master

  Sep 27, 202625s
  More actions for workflow run 196

• Update Lean Project

  failed:
  Update Lean Project#92:Scheduled
  master

  Sep 27, 202641s
  More actions for workflow run 92

• Update Lean Project

  failed:
  Update Lean Project#91:Scheduled
  master

  Sep 20, 202640s
  More actions for workflow run 91

• chore: move toolchain to v4.34.0

  completed successfully:
  Lean Action CI#195:Commit45b5d92pushedbychabulhwi
  master

  Sep 16, 202626s
  More actions for workflow run 195

• Update Lean Project

  failed:
  Update Lean Project#90:Scheduled
  master

  Sep 13, 202640s
  More actions for workflow run 90

• Update Lean Project

  failed:
  Update Lean Project#89:Scheduled
  master

  Sep 6, 202640s
  More actions for workflow run 89

• chore: move toolchain to v4.33.1

  completed successfully:
  Lean Action CI#194:Commitb56effcpushedbychabulhwi
  master

  Sep 1, 202627s
  More actions for workflow run 194

• Update Lean Project

  failed:
  Update Lean Project#88:Scheduled
  master

  Aug 30, 202641s
  More actions for workflow run 88

• chore: reorder import statements

  completed successfully:
  Lean Action CI#193:Commit5933e75pushedbychabulhwi
  master

  Aug 29, 202627s
  More actions for workflow run 193

• Update Lean Project

  failed:
  Update Lean Project#87:Scheduled
  master

  Aug 23, 202640s
  More actions for workflow run 87

• Update Lean Project

  failed:
  Update Lean Project#86:Scheduled
  master

  Aug 16, 202646s
  More actions for workflow run 86

• chore: move toolchain to v4.33.0

  completed successfully:
  Lean Action CI#192:Commit8981b6apushedbychabulhwi
  master

  Aug 11, 202635s
  More actions for workflow run 192

• Update Lean Project

  failed:
  Update Lean Project#85:Scheduled
  master

  Aug 9, 202640s
  More actions for workflow run 85

• chore: move toolchain to v4.32.2

  completed successfully:
  Lean Action CI#191:Commit19d6000pushedbychabulhwi
  master

  Aug 7, 202625s
  More actions for workflow run 191

• Update Lean Project

  failed:
  Update Lean Project#84:Scheduled
  master

  Aug 2, 202646s
  More actions for workflow run 84

• chore: move toolchain to v4.32.1

  completed successfully:
  Lean Action CI#190:Commitb0c2e01pushedbychabulhwi
  master

  Jul 26, 202627s
  More actions for workflow run 190

• Update Lean Project

  failed:
  Update Lean Project#83:Scheduled
  master

  Jul 26, 202643s
  More actions for workflow run 83

• Update Lean Project

  failed:
  Update Lean Project#82:Scheduled
  master

  Jul 19, 202640s
  More actions for workflow run 82

• chore: move toolchain to v4.32.0

  completed successfully:
  Lean Action CI#189:Commitff6c3cbpushedbychabulhwi
  master

  Jul 14, 202626s
  More actions for workflow run 189

• Update Lean Project

  failed:
  Update Lean Project#81:Scheduled
  master

  Jul 12, 202640s
  More actions for workflow run 81

• Update Lean Project

  failed:
  Update Lean Project#80:Scheduled
  master

  Jul 5, 202643s
  More actions for workflow run 80