All workflows

Workflow runs

• Update Dependencies

  failed:
  Update Dependencies#728:Scheduled
  main

  Nov 13, 20264m 1s
  More actions for workflow run 728

• Update Dependencies

  failed:
  Update Dependencies#727:Scheduled
  main

  Nov 13, 202610s
  More actions for workflow run 727

• Update Dependencies

  failed:
  Update Dependencies#726:Scheduled
  main

  Nov 12, 202610s
  More actions for workflow run 726

• Update Dependencies

  failed:
  Update Dependencies#725:Scheduled
  main

  Nov 12, 202613s
  More actions for workflow run 725

• Update Dependencies

  failed:
  Update Dependencies#724:Scheduled
  main

  Nov 12, 20269s
  More actions for workflow run 724

• Update Dependencies

  failed:
  Update Dependencies#723:Scheduled
  main

  Nov 12, 202612s
  More actions for workflow run 723

• Update Dependencies

  failed:
  Update Dependencies#722:Scheduled
  main

  Nov 11, 202614s
  More actions for workflow run 722

• Update Dependencies

  failed:
  Update Dependencies#721:Scheduled
  main

  Nov 11, 202611s
  More actions for workflow run 721

• Update Dependencies

  failed:
  Update Dependencies#720:Scheduled
  main

  Nov 11, 202611s
  More actions for workflow run 720

• Update Dependencies

  failed:
  Update Dependencies#719:Scheduled
  main

  Nov 11, 20269s
  More actions for workflow run 719

• Update Dependencies

  failed:
  Update Dependencies#718:Scheduled
  main

  Nov 10, 202611s
  More actions for workflow run 718

• Update Dependencies

  failed:
  Update Dependencies#717:Scheduled
  main

  Nov 10, 202612s
  More actions for workflow run 717

• ci: automate stable Lean upgrades and tested releases

  completed successfully:
  Build Lean project#109:Pull request#28synchronizebysorrachai
  codex/simplify-lean-maintenance

  Nov 10, 20262m 11s
  More actions for workflow run 109

• Update Dependencies

  failed:
  Update Dependencies#716:Scheduled
  main

  Nov 10, 202611s
  More actions for workflow run 716

• Update Dependencies

  failed:
  Update Dependencies#715:Scheduled
  main

  Nov 10, 202613s
  More actions for workflow run 715

• ci: automate stable Lean upgrades and tested releases

  completed successfully:
  Build Lean project#108:Pull request#28synchronizebysorrachai
  codex/simplify-lean-maintenance

  Nov 9, 20262m 33s
  More actions for workflow run 108

• ci: automate stable Lean upgrades and tested releases

  completed successfully:
  Build Lean project#107:Pull request#28openedbysorrachai
  codex/simplify-lean-maintenance

  Nov 9, 20262m 49s
  More actions for workflow run 107

• Merge pull request #27 from cslib-community:codex/readme-installation…

  failed:
  Build Lean project#106:Commit4021febpushedbysorrachai
  main

  Nov 9, 202612m 0s
  More actions for workflow run 106

• Merge pull request #27 from cslib-community:codex/readme-installation…

  completed successfully:
  .github/workflows/lean-release-tag.yml#1:Commit4021febpushedbysorrachai
  main

  Nov 9, 20269s
  More actions for workflow run 1

• feat: upgrade AlgoLib to Lean 4.35.0 and document installation

  completed successfully:
  Build Lean project#105:Pull request#27synchronizebysorrachai
  codex/readme-installation-guide

  Nov 9, 20263m 42s
  More actions for workflow run 105

• Update Dependencies

  failed:
  Update Dependencies#714:Scheduled
  main

  Nov 9, 202611s
  More actions for workflow run 714

• feat: upgrade AlgoLib to Lean 4.35.0 and document installation

  completed successfully:
  Build Lean project#104:Pull request#27openedbysorrachai
  codex/readme-installation-guide

  Nov 9, 20261m 46s
  More actions for workflow run 104

• Update Dependencies

  failed:
  Update Dependencies#713:Scheduled
  main

  Nov 9, 202611s
  More actions for workflow run 713

• Update Dependencies

  failed:
  Update Dependencies#712:Scheduled
  main

  Nov 9, 20268s
  More actions for workflow run 712

• Update Dependencies

  failed:
  Update Dependencies#711:Scheduled
  main

  Nov 9, 20268s
  More actions for workflow run 711