All workflows

Workflow runs

• self update

  completed successfully:
  self update#93:Scheduled
  dev

  Nov 7, 20261m 1s
  More actions for workflow run 93

• Repo sync

  completed successfully:
  Repo sync#89:Scheduled
  dev

  Nov 7, 20269s
  More actions for workflow run 89

• Merge pull request #284 from leanprover-community/dependabot/github_a…

  completed successfully:
  Other Tests#76:Commit0105e58pushedbysamuelburnham
  main

  Nov 6, 20261m 4s
  More actions for workflow run 76

• Merge pull request #284 from leanprover-community/dependabot/github_a…

  completed successfully:
  E2E Test#76:Commit0105e58pushedbysamuelburnham
  main

  Nov 6, 20262m 29s
  More actions for workflow run 76

• Merge pull request #284 from leanprover-community/dependabot/github_a…

  completed successfully:
  Lean Action CI#76:Commit0105e58pushedbysamuelburnham
  main

  Nov 6, 202644s
  More actions for workflow run 76

• self update

  completed successfully:
  self update#92:Scheduled
  dev

  Nov 6, 20261m 4s
  More actions for workflow run 92

• Repo sync

  failed:
  Repo sync#88:Scheduled
  dev

  Nov 6, 20267s
  More actions for workflow run 88

• self update

  completed successfully:
  self update#91:Scheduled
  dev

  Nov 5, 20261m 4s
  More actions for workflow run 91

• Repo sync

  failed:
  Repo sync#87:Scheduled
  dev

  Nov 5, 202610s
  More actions for workflow run 87

• build(deps): bump the actions-dependencies group across 1 directory with 2 updates

  completed successfully:
  E2E Test#75:Pull request#13editedbydependabot[bot]Bot
  dependabot/github_actions/actions-dependencies-2d91d83f3c

  Nov 4, 20262m 52s
  More actions for workflow run 75

• build(deps): bump the actions-dependencies group across 1 directory with 2 updates

  completed successfully:
  Other Tests#75:Pull request#13editedbydependabot[bot]Bot
  dependabot/github_actions/actions-dependencies-2d91d83f3c

  Nov 4, 20261m 14s
  More actions for workflow run 75

• build(deps): bump the actions-dependencies group across 1 directory with 2 updates

  completed successfully:
  Lean Action CI#75:Pull request#13editedbydependabot[bot]Bot
  dependabot/github_actions/actions-dependencies-2d91d83f3c

  Nov 4, 202646s
  More actions for workflow run 75

• build(deps): bump the actions-dependencies group across 1 directory with 2 updates

  completed successfully:
  E2E Test#74:Pull request#13editedbydependabot[bot]Bot
  dependabot/github_actions/actions-dependencies-2d91d83f3c

  Nov 4, 20262m 47s
  More actions for workflow run 74

• build(deps): bump the actions-dependencies group across 1 directory with 2 updates

  completed successfully:
  Lean Action CI#74:Pull request#13editedbydependabot[bot]Bot
  dependabot/github_actions/actions-dependencies-2d91d83f3c

  Nov 4, 202650s
  More actions for workflow run 74

• build(deps): bump the actions-dependencies group across 1 directory with 2 updates

  completed successfully:
  Other Tests#74:Pull request#13editedbydependabot[bot]Bot
  dependabot/github_actions/actions-dependencies-2d91d83f3c

  Nov 4, 20261m 12s
  More actions for workflow run 74

• github_actions in / for leanprover/lean-action, cachix/install-nix-action - Update #1681585851

  completed successfully:
  Dependabot Updates#18:bydependabot[bot]Bot
  dev

  Nov 4, 20261m 0s

• github_actions in /. - Update #1681585761

  completed successfully:
  Dependabot Updates#17:bydependabot[bot]Bot
  dev

  Nov 4, 202636s

• self update

  completed successfully:
  self update#90:Scheduled
  dev

  Nov 4, 20261m 6s
  More actions for workflow run 90

• Repo sync

  failed:
  Repo sync#86:Scheduled
  dev

  Nov 4, 20269s
  More actions for workflow run 86

• self update

  completed successfully:
  self update#89:Scheduled
  dev

  Nov 3, 20261m 4s
  More actions for workflow run 89

• Repo sync

  failed:
  Repo sync#85:Scheduled
  dev

  Nov 3, 20268s
  More actions for workflow run 85

• self update

  completed successfully:
  self update#88:Scheduled
  dev

  Nov 2, 20261m 1s
  More actions for workflow run 88

• Repo sync

  failed:
  Repo sync#84:Scheduled
  dev

  Nov 2, 20269s
  More actions for workflow run 84

• self update

  completed successfully:
  self update#87:Scheduled
  dev

  Nov 1, 20261m 1s
  More actions for workflow run 87

• Repo sync

  failed:
  Repo sync#83:Scheduled
  dev

  Nov 1, 20269s
  More actions for workflow run 83