All workflows

Workflow runs

• Update Dependencies

  completed successfully:
  Update Dependencies#386:Scheduled
  main

  Sep 12, 202627m 48s
  More actions for workflow run 386

• Formalize the Leshno universal approximation theorem

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

  Sep 12, 20265m 3s
  More actions for workflow run 59

• Formalize the Leshno universal approximation theorem

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

  Sep 12, 202630d 0h 0m 20s
  More actions for workflow run 58

• Identification algorithm

  completed successfully:
  Build#57:Pull request#243synchronizebyRemyDegenne
  identAlg

  Sep 12, 202616m 16s
  More actions for workflow run 57

• Update Dependencies

  completed successfully:
  Update Dependencies#385:Scheduled
  main

  Sep 12, 202612s
  More actions for workflow run 385

• Formalize the Leshno universal approximation theorem

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

  Sep 12, 20262m 5s
  More actions for workflow run 56

• Identification algorithm

  completed successfully:
  Build#55:Pull request#243synchronizebyRemyDegenne
  identAlg

  Sep 12, 202616m 13s
  More actions for workflow run 55

• Formalize the Leshno universal approximation theorem

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

  Sep 12, 20262m 35s
  More actions for workflow run 54

• Formalize the Leshno universal approximation theorem

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

  Sep 12, 202630d 0h 3m 59s
  More actions for workflow run 53

• Formalize the Leshno universal approximation theorem

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

  Sep 12, 202630d 0h 0m 4s
  More actions for workflow run 52

• Formalize the Leshno universal approximation theorem

  failed:
  Build#51:Pull request#246openedbyyuanyi-350
  yuanyi-350:formalize-llps-universal-approximation

  Sep 12, 202630d 0h 0m 38s
  More actions for workflow run 51

• Bump mathlib dependency to 5089c57

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

  Sep 12, 202630d 0h 1m 25s
  More actions for workflow run 50

• Update Dependencies

  completed successfully:
  Update Dependencies#384:Scheduled
  main

  Sep 12, 20264m 8s
  More actions for workflow run 384

• Update Dependencies

  completed successfully:
  Update Dependencies#383:Scheduled
  main

  Sep 11, 202615s
  More actions for workflow run 383

• Experiment: shift filtration

  completed successfully:
  Build#49:Pull request#245openedbyRemyDegenne
  filtrationShift

  Sep 11, 202616m 25s
  More actions for workflow run 49

• Identification algorithm

  completed successfully:
  Build#48:Pull request#243synchronizebyRemyDegenne
  identAlg

  Sep 11, 202616m 16s
  More actions for workflow run 48

• Identification algorithm

  completed successfully:
  Build#47:Pull request#243openedbyRemyDegenne
  identAlg

  Sep 11, 202616m 21s
  More actions for workflow run 47

• Bump mathlib dependency to 5089c57

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

  Sep 11, 202616m 41s
  More actions for workflow run 46

• Update Dependencies

  completed successfully:
  Update Dependencies#382:Scheduled
  main

  Sep 11, 20263m 51s
  More actions for workflow run 382

• Bump mathlib dependency to 217ba06 (#241)

  completed successfully:
  Build#45:Commit3f06086pushedbyRemyDegenne
  main

  Sep 11, 202646m 51s
  More actions for workflow run 45

• Update Dependencies

  completed successfully:
  Update Dependencies#381:Scheduled
  main

  Sep 11, 202614s
  More actions for workflow run 381

• Bump mathlib dependency to 217ba06

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

  Sep 11, 202615m 11s
  More actions for workflow run 44

• Update Dependencies

  completed successfully:
  Update Dependencies#380:Scheduled
  main

  Sep 11, 20264m 15s
  More actions for workflow run 380

• Add MDP definition

  failed:
  Build#43:Pull request#231synchronizebyRemyDegenne
  mdp

  Sep 10, 20265m 38s
  More actions for workflow run 43

• MeasurableSpace on kernels, algorithms, environments (#239)

  completed successfully:
  Build#42:Commit3ff93c0pushedbyRemyDegenne
  main

  Sep 10, 20261h 4m 55s
  More actions for workflow run 42