All workflows

Workflow runs

• 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

• Update Dependencies

  failed:
  Update Dependencies#379:Scheduled
  main

  Sep 10, 202621s
  More actions for workflow run 379

• MeasurableSpace on kernels, algorithms, environments

  completed successfully:
  Build#41:Pull request#239openedbyRemyDegenne
  measurableSpace

  Sep 10, 202613m 33s
  More actions for workflow run 41

• Add MDP definition

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

  Sep 10, 20266m 11s
  More actions for workflow run 40

• Add MDP definition

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

  Sep 10, 20266m 45s
  More actions for workflow run 39

• Update Mathlib (#238)

  completed successfully:
  Build#38:Commit565f652pushedbyRemyDegenne
  main

  Sep 10, 20261h 3m 22s
  More actions for workflow run 38

• Update Mathlib

  completed successfully:
  Build#37:Pull request#238openedbyRemyDegenne
  bump

  Sep 10, 202617m 32s
  More actions for workflow run 37

• Refactor Algorithm and Environment (#229)

  cancelled:
  Build#36:Commite05e4f3pushedbyRemyDegenne
  main

  Sep 10, 202644m 10s
  More actions for workflow run 36

• Refactor Algorithm and Environment

  completed successfully:
  Build#35:Pull request#229synchronizebyRemyDegenne
  newAlg

  Sep 10, 202615m 9s
  More actions for workflow run 35

• Update Dependencies

  completed successfully:
  Update Dependencies#378:Scheduled
  main

  Sep 10, 202618s
  More actions for workflow run 378

• Refactor Algorithm and Environment

  completed successfully:
  Build#34:Pull request#229synchronizebyRemyDegenne
  newAlg

  Sep 10, 202617m 6s
  More actions for workflow run 34

• Refactor Algorithm and Environment

  completed successfully:
  Build#33:Pull request#229synchronizebyRemyDegenne
  newAlg

  Sep 10, 202614m 38s
  More actions for workflow run 33

• Update Dependencies

  completed successfully:
  Update Dependencies#377:Scheduled
  main

  Sep 10, 202616s
  More actions for workflow run 377

• Update Dependencies

  completed successfully:
  Update Dependencies#376:Scheduled
  main

  Sep 10, 202614s
  More actions for workflow run 376

• Update Dependencies

  completed successfully:
  Update Dependencies#375:Scheduled
  main

  Sep 9, 202614s
  More actions for workflow run 375

• KL divergence between histories (#236)

  completed successfully:
  Build#32:Commitc33199epushedbyRemyDegenne
  main

  Sep 9, 20261h 8m 1s
  More actions for workflow run 32