All workflows

Workflow runs

• (deps): Bump actions/checkout from 6 to 7

  completed successfully:
  CI Lean#7:Pull request#3openedbydependabot[bot]Bot
  dependabot/github_actions/actions/checkout-7

  Jul 1, 202646s
  More actions for workflow run 7

• github_actions in /. - Update #1443301431

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

  Jul 1, 202636s

• github_actions in /. - Update #1393520450

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

  Jun 2, 202627s

• manifest etc

  completed successfully:
  CI Lean#6:Commit7cd1bc0pushedbydenisecase
  main

  May 30, 202644s
  More actions for workflow run 6

• (deps): Bump actions/github-script from 8 to 9

  completed successfully:
  CI Lean#5:Pull request#2openedbydependabot[bot]Bot
  dependabot/github_actions/actions/github-script-9

  May 1, 202648s
  More actions for workflow run 5

• github_actions in /. - Update #1344196817

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

  May 1, 202637s

• Check Links

  failed:
  Check Links#6:Scheduled
  main

  May 1, 202616s
  More actions for workflow run 6

• github_actions in /. - Update #1303071607

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

  Apr 1, 202628s

• Check Links

  completed successfully:
  Check Links#5:Scheduled
  main

  Apr 1, 202612s
  More actions for workflow run 5

• github_actions in /. - Update #1262643441

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

  Mar 1, 202621s

• Check Links

  completed successfully:
  Check Links#4:Scheduled
  main

  Mar 1, 202612s
  More actions for workflow run 4

• add precommit

  completed successfully:
  CI Lean#4:Commit52f3e82pushedbydenisecase
  main

  Feb 6, 202633s
  More actions for workflow run 4

• github_actions in /. - Update #1228790757

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

  Feb 1, 202636s

• Check Links

  completed successfully:
  Check Links#3:Scheduled
  main

  Feb 1, 20268s
  More actions for workflow run 3

• chore

  failed:
  CI Lean#3:Commit672aefapushedbydenisecase
  main

  Jan 23, 202614s
  More actions for workflow run 3

• github_actions in /. - Update #1219007658

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

  Jan 23, 202630s

• chore

  failed:
  CI Lean#2:Commit8465c54pushedbydenisecase
  main

  Jan 23, 202613s
  More actions for workflow run 2

• update

  completed successfully:
  CI Lean#1:Commit60182fbpushedbydenisecase
  main

  Jan 6, 202639s
  More actions for workflow run 1

• github_actions in /. - Update #1195959586

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

  Jan 1, 202634s

• Check Links

  completed successfully:
  Check Links#2:Scheduled
  main

  Jan 1, 202615s
  More actions for workflow run 2

• chore

  completed successfully:
  Lean Action CI#13:Commit2c23d59pushedbydenisecase
  main

  Dec 31, 202520s
  More actions for workflow run 13

• folders

  completed successfully:
  Lean Action CI#12:Commit5ff73a7pushedbydenisecase
  main

  Dec 31, 202525s
  More actions for workflow run 12

• add SE_manifest

  completed successfully:
  Lean Action CI#11:Commitde825fbpushedbydenisecase
  main

  Dec 31, 202521s
  More actions for workflow run 11

• se std

  completed successfully:
  Lean Action CI#10:Commit90b6977pushedbydenisecase
  main

  Dec 31, 202540s
  More actions for workflow run 10

• minor

  completed successfully:
  Lean Action CI#9:Commit5982b42pushedbydenisecase
  main

  Dec 28, 202519s
  More actions for workflow run 9