All workflows

Workflow runs

• 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

  requires action with the application:
  Build#105:Pull request#260synchronizebygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Sep 23, 2026Action required
  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

  requires action with the application:
  Build#104:Pull request#260openedbygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Sep 23, 2026Action required
  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

• Formalize the Leshno universal approximation theorem

  requires action with the application:
  Build#101:Pull request#246synchronizebyyuanyi-350
  yuanyi-350:formalize-llps-universal-approximation

  Sep 23, 2026Action required
  More actions for workflow run 101

• Formalize the Leshno universal approximation theorem

  requires action with the application:
  Build#100:Pull request#246synchronizebyyuanyi-350
  yuanyi-350:formalize-llps-universal-approximation

  Sep 23, 2026Action required
  More actions for workflow run 100

• Update Dependencies

  completed successfully:
  Update Dependencies#428:Scheduled
  main

  Sep 23, 202611s
  More actions for workflow run 428

• Bump mathlib dependency to a379806

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

  Sep 22, 202630d 0h 4m 41s
  More actions for workflow run 99

• Update Dependencies

  completed successfully:
  Update Dependencies#427:Scheduled
  main

  Sep 22, 20264m 49s
  More actions for workflow run 427