CI Lean

Workflow runs for CI Lean

• (deps): Bump astral-sh/setup-uv from 8.2.0 to 10.2.0

  failed:
  CI Lean#16:Pull request#7openedbydependabot[bot]Bot
  dependabot/github_actions/astral-sh/setup-uv-10.2.0

  Oct 1, 202626s
  More actions for workflow run 16

• (deps): Bump astral-sh/setup-uv from 8.2.0 to 10.0.1

  failed:
  CI Lean#15:Pull request#6openedbydependabot[bot]Bot
  dependabot/github_actions/astral-sh/setup-uv-10.0.1

  Sep 1, 202638s
  More actions for workflow run 15

• (deps): Bump astral-sh/setup-uv from 8.2.0 to 9.0.0

  failed:
  CI Lean#14:Pull request#5openedbydependabot[bot]Bot
  dependabot/github_actions/astral-sh/setup-uv-9.0.0

  Aug 1, 202633s
  More actions for workflow run 14

• (deps): Bump lycheeverse/lychee-action from 2.8.0 to 2.9.0

  failed:
  CI Lean#13:Pull request#4openedbydependabot[bot]Bot
  dependabot/github_actions/lycheeverse/lychee-action-2.9.0

  Aug 1, 202633s
  More actions for workflow run 13

• Merge pull request #3 from structural-explainability/dependabot/githu…

  failed:
  CI Lean#12:Commitd2842cepushedbydenisecase
  main

  Jul 25, 202633s
  More actions for workflow run 12

• Merge pull request #2 from structural-explainability/dependabot/githu…

  failed:
  CI Lean#11:Commit22e6ebfpushedbydenisecase
  main

  Jul 25, 202628s
  More actions for workflow run 11

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

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

  Jul 1, 202633s
  More actions for workflow run 10

• (deps): Bump astral-sh/setup-uv from 8.1.0 to 8.2.0

  failed:
  CI Lean#9:Pull request#2openedbydependabot[bot]Bot
  dependabot/github_actions/astral-sh/setup-uv-8.2.0

  Jul 1, 202635s
  More actions for workflow run 9

• actions

  completed successfully:
  CI Lean#8:Commit46cf4ffpushedbydenisecase
  main

  May 31, 202654s
  More actions for workflow run 8

• ss

  completed successfully:
  CI Lean#6:Commit3500e22pushedbydenisecase
  main

  May 31, 202635s
  More actions for workflow run 6

• manifest etc

  completed successfully:
  CI Lean#5:Commit701099epushedbydenisecase
  main

  May 30, 202634s
  More actions for workflow run 5

• Merge pull request #1 from structural-explainability/dependabot/githu…

  completed successfully:
  CI Lean#4:Commit6c14a5bpushedbydenisecase
  main

  May 14, 202649s
  More actions for workflow run 4

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

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

  May 1, 202646s
  More actions for workflow run 3

• chore

  completed successfully:
  CI Lean#2:Commitdf7cbbfpushedbydenisecase
  main

  Jan 23, 202636s
  More actions for workflow run 2

• chore

  completed successfully:
  CI Lean#1:Commit3f43dddpushedbydenisecase
  main

  Jan 23, 202637s
  More actions for workflow run 1