All workflows

Workflow runs

• Update Dependencies

  completed successfully:
  Update Dependencies#443:Scheduled
  main

  Sep 26, 202614s
  More actions for workflow run 443

• Update Dependencies

  completed successfully:
  Update Dependencies#442:Scheduled
  main

  Sep 26, 202622s
  More actions for workflow run 442

• Bump mathlib dependency to v4.35.0-rc3

  completed successfully:
  Build#111:Pull request#262openedbygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Sep 26, 202618m 13s
  More actions for workflow run 111

• Update Dependencies

  completed successfully:
  Update Dependencies#441:Scheduled
  main

  Sep 26, 20264m 0s
  More actions for workflow run 441

• Update Dependencies

  completed successfully:
  Update Dependencies#440:Scheduled
  main

  Sep 26, 202613s
  More actions for workflow run 440

• Update Dependencies

  completed successfully:
  Update Dependencies#439:Scheduled
  main

  Sep 25, 202610s
  More actions for workflow run 439

• Update Dependencies

  completed successfully:
  Update Dependencies#438:Scheduled
  main

  Sep 25, 202613s
  More actions for workflow run 438

• Update Dependencies

  completed successfully:
  Update Dependencies#437:Scheduled
  main

  Sep 25, 202610s
  More actions for workflow run 437

• Bump mathlib dependency to 4871404 (#261)

  completed successfully:
  Build#110:Commitd707a02pushedbyRemyDegenne
  main

  Sep 25, 20261h 4m 25s
  More actions for workflow run 110

• Update Dependencies

  completed successfully:
  Update Dependencies#436:Scheduled
  main

  Sep 25, 202647s
  More actions for workflow run 436

• Bump mathlib dependency to 4871404

  completed successfully:
  Build#109:Pull request#261openedbygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Sep 24, 202616m 17s
  More actions for workflow run 109

• Update Dependencies

  completed successfully:
  Update Dependencies#435:Scheduled
  main

  Sep 24, 20264m 7s
  More actions for workflow run 435

• Update Dependencies

  completed successfully:
  Update Dependencies#434:Scheduled
  main

  Sep 24, 202613s
  More actions for workflow run 434

• Adds Fenchel conjugates

  completed successfully:
  Build#108:Pull request#255synchronizebyISIPINK
  ISIPINK:subgradient-fenchelconjugate

  Sep 24, 202613m 52s
  More actions for workflow run 108

• Bump mathlib dependency to 045acef (#260)

  completed successfully:
  Build#107:Commitc3e2b29pushedbyRemyDegenne
  main

  Sep 24, 202657m 24s
  More actions for workflow run 107

• Bump mathlib dependency to 045acef

  completed successfully:
  Build#106:Pull request#260synchronizebygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Sep 24, 202617m 55s
  More actions for workflow run 106

• Update Dependencies

  completed successfully:
  Update Dependencies#433:Scheduled
  main

  Sep 24, 20263m 44s
  More actions for workflow run 433

• Update Dependencies

  completed successfully:
  Update Dependencies#432:Scheduled
  main

  Sep 24, 202613s
  More actions for workflow run 432

• Bump mathlib dependency to 045acef

  failed:
  Build#105:Pull request#260synchronizebygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Sep 23, 202630d 0h 5m 49s
  More actions for workflow run 105

• Update Dependencies

  completed successfully:
  Update Dependencies#431:Scheduled
  main

  Sep 23, 20264m 0s
  More actions for workflow run 431

• Bump mathlib dependency to 045acef

  failed:
  Build#104:Pull request#260openedbygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Sep 23, 202630d 0h 3m 25s
  More actions for workflow run 104

• Update Dependencies

  completed successfully:
  Update Dependencies#430:Scheduled
  main

  Sep 23, 20263m 32s
  More actions for workflow run 430

• Bump mathlib dependency to a379806 (#259)

  completed successfully:
  Build#103:Commit41c4294pushedbyRemyDegenne
  main

  Sep 23, 202650m 40s
  More actions for workflow run 103

• Bump mathlib dependency to a379806

  completed successfully:
  Build#102:Pull request#259synchronizebygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Sep 23, 202611m 44s
  More actions for workflow run 102

• Update Dependencies

  completed successfully:
  Update Dependencies#429:Scheduled
  main

  Sep 23, 20263m 50s
  More actions for workflow run 429