All workflows

Workflow runs

• 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

• 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