All workflows

Workflow runs

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#237:Scheduled
  main

  Oct 28, 202639s
  More actions for workflow run 237

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#236:Scheduled
  main

  Oct 27, 202639s
  More actions for workflow run 236

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#235:Scheduled
  main

  Oct 26, 202650s
  More actions for workflow run 235

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#234:Scheduled
  main

  Oct 25, 202640s
  More actions for workflow run 234

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#233:Scheduled
  main

  Oct 24, 202644s
  More actions for workflow run 233

• github_actions in /. - Update #1647105886

  completed successfully:
  Dependabot Updates#95:bydependabot[bot]Bot
  main

  Oct 23, 202650s

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#232:Scheduled
  main

  Oct 23, 202646s
  More actions for workflow run 232

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#231:Scheduled
  main

  Oct 22, 202647s
  More actions for workflow run 231

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#230:Scheduled
  main

  Oct 21, 202644s
  More actions for workflow run 230

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#229:Scheduled
  main

  Oct 20, 202639s
  More actions for workflow run 229

• chore(deps): bump leanprover/lean-action from 1.6.1 to 1.6.2 (#89)

  completed successfully:
  Build and Deploy Pages#228:Commit4039a14pushedbypitmonticone
  main

  Oct 19, 202643s
  More actions for workflow run 228

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#227:Scheduled
  main

  Oct 19, 202641s
  More actions for workflow run 227

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#226:Scheduled
  main

  Oct 18, 202632s
  More actions for workflow run 226

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#225:Scheduled
  main

  Oct 17, 202646s
  More actions for workflow run 225

• github_actions in /. - Update #1630916843

  completed successfully:
  Dependabot Updates#94:bydependabot[bot]Bot
  main

  Oct 16, 202641s

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#224:Scheduled
  main

  Oct 16, 202637s
  More actions for workflow run 224

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#223:Scheduled
  main

  Oct 15, 202642s
  More actions for workflow run 223

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#222:Scheduled
  main

  Oct 14, 202642s
  More actions for workflow run 222

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#221:Scheduled
  main

  Oct 13, 202640s
  More actions for workflow run 221

• chore: update upstreaming-dashboard-action to main (#88)

  completed successfully:
  Build and Deploy Pages#220:Commit2770851pushedbypitmonticone
  main

  Oct 13, 202635s
  More actions for workflow run 220

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#219:Scheduled
  main

  Oct 12, 202641s
  More actions for workflow run 219

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#218:Scheduled
  main

  Oct 11, 202641s
  More actions for workflow run 218

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#217:Scheduled
  main

  Oct 10, 202637s
  More actions for workflow run 217

• Build and Deploy Pages

  completed successfully:
  Build and Deploy Pages#216:Scheduled
  main

  Oct 9, 202634s
  More actions for workflow run 216

• github_actions in /. - Update #1618807867

  completed successfully:
  Dependabot Updates#93:bydependabot[bot]Bot
  main

  Oct 9, 202650s