All workflows

Workflow runs

• Remove concentration duplication (#289)

  failed:
  Build#166:Commit61cd177pushedbyRemyDegenne
  main

  Nov 3, 202624m 16s
  More actions for workflow run 166

• Remove concentration duplication

  completed successfully:
  Build#165:Pull request#289synchronizebyRemyDegenne
  review

  Nov 3, 202613m 21s
  More actions for workflow run 165

• Remove concentration duplication

  cancelled:
  Build#164:Pull request#289openedbyRemyDegenne
  review

  Nov 3, 20261m 33s
  More actions for workflow run 164

• Update Dependencies

  completed successfully:
  Update Dependencies#594:Scheduled
  main

  Nov 3, 202619s
  More actions for workflow run 594

• Update Dependencies

  completed successfully:
  Update Dependencies#593:Scheduled
  main

  Nov 3, 202625s
  More actions for workflow run 593

• Update Dependencies

  completed successfully:
  Update Dependencies#592:Scheduled
  main

  Nov 3, 202617s
  More actions for workflow run 592

• Update Dependencies

  completed successfully:
  Update Dependencies#591:Scheduled
  main

  Nov 2, 202620s
  More actions for workflow run 591

• Update Dependencies

  completed successfully:
  Update Dependencies#590:Scheduled
  main

  Nov 2, 202619s
  More actions for workflow run 590

• Update Dependencies

  completed successfully:
  Update Dependencies#589:Scheduled
  main

  Nov 2, 202625s
  More actions for workflow run 589

• Update Dependencies

  completed successfully:
  Update Dependencies#588:Scheduled
  main

  Nov 2, 202615s
  More actions for workflow run 588

• Update Dependencies

  completed successfully:
  Update Dependencies#587:Scheduled
  main

  Nov 1, 202617s
  More actions for workflow run 587

• Update Dependencies

  completed successfully:
  Update Dependencies#586:Scheduled
  main

  Nov 1, 202618s
  More actions for workflow run 586

• Bump leanprover/lean-action from 1.6.0 to 1.7.0 (#288)

  failed:
  Build#163:Commit4052810pushedbyRemyDegenne
  main

  Nov 1, 202624m 7s
  More actions for workflow run 163

• Bump leanprover/lean-action from 1.6.0 to 1.7.0

  completed successfully:
  Build#162:Pull request#288openedbydependabot[bot]Bot
  dependabot/github_actions/leanprover/lean-action-1.7.0

  Nov 1, 202614m 53s
  More actions for workflow run 162

• github_actions in /. - Update #1669690252

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

  Nov 1, 202645s

• Update Dependencies

  completed successfully:
  Update Dependencies#585:Scheduled
  main

  Nov 1, 202614s
  More actions for workflow run 585

• Update Dependencies

  completed successfully:
  Update Dependencies#584:Scheduled
  main

  Nov 1, 202613s
  More actions for workflow run 584

• Update Dependencies

  completed successfully:
  Update Dependencies#583:Scheduled
  main

  Oct 31, 202619s
  More actions for workflow run 583

• Update Dependencies

  completed successfully:
  Update Dependencies#582:Scheduled
  main

  Oct 31, 202618s
  More actions for workflow run 582

• Update Dependencies

  completed successfully:
  Update Dependencies#581:Scheduled
  main

  Oct 31, 202614s
  More actions for workflow run 581

• Update Dependencies

  completed successfully:
  Update Dependencies#580:Scheduled
  main

  Oct 31, 202615s
  More actions for workflow run 580

• Update Dependencies

  completed successfully:
  Update Dependencies#579:Scheduled
  main

  Oct 30, 20263m 24s
  More actions for workflow run 579

• Update Dependencies

  completed successfully:
  Update Dependencies#578:Scheduled
  main

  Oct 30, 202615s
  More actions for workflow run 578

• Fix truncRow definition (#287)

  failed:
  Build#161:Commite197a48pushedbyRemyDegenne
  main

  Oct 30, 202625m 42s
  More actions for workflow run 161

• Fix truncRow definition

  completed successfully:
  Build#160:Pull request#287openedbyRemyDegenne
  review

  Oct 30, 202611m 57s
  More actions for workflow run 160