All workflows

Workflow runs

• 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

• Simplify Referee CI (#237)

  cancelled:
  Build#31:Commiteaa27dbpushedbyRemyDegenne
  main

  Sep 9, 20261m 34s
  More actions for workflow run 31

• Simplify Referee CI

  completed successfully:
  Build#30:Pull request#237openedbyRemyDegenne
  ci

  Sep 9, 202611m 53s
  More actions for workflow run 30

• KL divergence between histories

  completed successfully:
  Build#29:Pull request#236synchronizebyRemyDegenne
  kullbackLeibler

  Sep 9, 202616m 52s
  More actions for workflow run 29

• KL divergence between histories

  cancelled:
  Build#28:Pull request#236synchronizebyRemyDegenne
  kullbackLeibler

  Sep 9, 20261m 36s
  More actions for workflow run 28

• Update Dependencies

  completed successfully:
  Update Dependencies#374:Scheduled
  main

  Sep 9, 202614s
  More actions for workflow run 374

• KL divergence between histories

  cancelled:
  Build#27:Pull request#236synchronizebyRemyDegenne
  kullbackLeibler

  Sep 9, 202611m 55s
  More actions for workflow run 27

• KL divergence between histories

  failed:
  Build#26:Pull request#236synchronizebyRemyDegenne
  kullbackLeibler

  Sep 9, 20264m 19s
  More actions for workflow run 26

• KL divergence between histories

  cancelled:
  Build#25:Pull request#236synchronizebyRemyDegenne
  kullbackLeibler

  Sep 9, 20261m 35s
  More actions for workflow run 25

• Update Dependencies

  completed successfully:
  Update Dependencies#373:Scheduled
  main

  Sep 9, 202617s
  More actions for workflow run 373

• Update Dependencies

  completed successfully:
  Update Dependencies#372:Scheduled
  main

  Sep 9, 202612s
  More actions for workflow run 372