All workflows

Workflow runs

• variants of the UCB bounds

  cancelled:
  Build#69:Commit92d55b8pushedbyRemyDegenne
  main

  Sep 16, 20264m 31s
  More actions for workflow run 69

• Update Dependencies

  completed successfully:
  Update Dependencies#401:Scheduled
  main

  Sep 16, 202613s
  More actions for workflow run 401

• Update Dependencies

  completed successfully:
  Update Dependencies#400:Scheduled
  main

  Sep 16, 202615s
  More actions for workflow run 400

• Update Dependencies

  completed successfully:
  Update Dependencies#399:Scheduled
  main

  Sep 15, 202618s
  More actions for workflow run 399

• Update Dependencies

  completed successfully:
  Update Dependencies#398:Scheduled
  main

  Sep 15, 202613s
  More actions for workflow run 398

• Added subgradient definition and properties

  failed:
  Build#68:Pull request#251openedbyISIPINK
  ISIPINK:subgradient

  Sep 15, 20265m 56s
  More actions for workflow run 68

• Added Generalized Bregman Divergence definition and algebraic properties

  failed:
  Build#67:Pull request#250openedbyISIPINK
  ISIPINK:Bregman

  Sep 15, 202630d 0h 2m 44s
  More actions for workflow run 67

• Update Dependencies

  completed successfully:
  Update Dependencies#397:Scheduled
  main

  Sep 15, 202617s
  More actions for workflow run 397

• Update Dependencies

  completed successfully:
  Update Dependencies#396:Scheduled
  main

  Sep 15, 202613s
  More actions for workflow run 396

• Update Dependencies

  completed successfully:
  Update Dependencies#395:Scheduled
  main

  Sep 14, 202613s
  More actions for workflow run 395

• Update Dependencies

  completed successfully:
  Update Dependencies#394:Scheduled
  main

  Sep 14, 202613s
  More actions for workflow run 394

• Formalize the Leshno universal approximation theorem

  completed successfully:
  Build#66:Pull request#246synchronizebyyuanyi-350
  yuanyi-350:formalize-llps-universal-approximation

  Sep 14, 202613m 43s
  More actions for workflow run 66

• Update Dependencies

  completed successfully:
  Update Dependencies#393:Scheduled
  main

  Sep 14, 202614s
  More actions for workflow run 393

• Update Dependencies

  completed successfully:
  Update Dependencies#392:Scheduled
  main

  Sep 14, 202617s
  More actions for workflow run 392

• Update Dependencies

  completed successfully:
  Update Dependencies#391:Scheduled
  main

  Sep 13, 202613s
  More actions for workflow run 391

• Identification algorithms (#249)

  completed successfully:
  Build#65:Commita6c27a7pushedbyRemyDegenne
  main

  Sep 13, 20261h 1m 9s
  More actions for workflow run 65

• Identification algorithms

  completed successfully:
  Build#64:Pull request#249openedbyRemyDegenne
  identAlg2

  Sep 13, 202615m 15s
  More actions for workflow run 64

• Update Dependencies

  completed successfully:
  Update Dependencies#390:Scheduled
  main

  Sep 13, 202613s
  More actions for workflow run 390

• Formalize the Leshno universal approximation theorem

  failed:
  Build#63:Pull request#246synchronizebyyuanyi-350
  yuanyi-350:formalize-llps-universal-approximation

  Sep 13, 202630d 0h 2m 12s
  More actions for workflow run 63

• Update Dependencies

  completed successfully:
  Update Dependencies#389:Scheduled
  main

  Sep 13, 202614s
  More actions for workflow run 389

• Update Dependencies

  completed successfully:
  Update Dependencies#388:Scheduled
  main

  Sep 13, 202617s
  More actions for workflow run 388

• Update Dependencies

  completed successfully:
  Update Dependencies#387:Scheduled
  main

  Sep 12, 202611s
  More actions for workflow run 387

• Formalize the Leshno universal approximation theorem

  completed successfully:
  Build#62:Pull request#246synchronizebyyuanyi-350
  yuanyi-350:formalize-llps-universal-approximation

  Sep 12, 202615m 22s
  More actions for workflow run 62

• Bump mathlib dependency to 5089c57

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

  Sep 12, 20269d 22h 40m 15s
  More actions for workflow run 61

• chore: bump mathlib to 8319c83, fix breaking changes

  failed:
  Build#60:Pull request#248openedbygithub-actions[bot]Bot
  bump-mathlib/fix-8319c83

  Sep 12, 202610m 25s
  More actions for workflow run 60