All workflows

Workflow runs

• Merge pull request #2 from LeanMachineLearning/tests

  failed:
  Build project#13:Commit5a93e91pushedbygaetanserre
  main

  Aug 31, 20263m 52s
  More actions for workflow run 13

• Merge pull request #3 from LeanMachineLearning/autoInstance

  failed:
  Build project#12:Commit887b1c9pushedbygaetanserre
  main

  Aug 31, 20264m 4s
  More actions for workflow run 12

• Add attribute to derive IsMarkov instance

  failed:
  Build project#11:Pull request#3synchronizebygaetanserre
  autoInstance

  Aug 31, 20263m 43s
  More actions for workflow run 11

• Add attribute to derive IsMarkov instance

  cancelled:
  Build project#10:Pull request#3synchronizebygaetanserre
  autoInstance

  Aug 31, 202624s
  More actions for workflow run 10

• Experiments about extracting random variables

  failed:
  Build project#9:Pull request#4openedbyRemyDegenne
  extractVars

  Aug 31, 20264m 48s
  More actions for workflow run 9

• Add attribute to derive IsMarkov instance

  failed:
  Build project#8:Pull request#3openedbyRemyDegenne
  autoInstance

  Aug 29, 20264m 0s
  More actions for workflow run 8

• Add Test library

  failed:
  Build project#7:Pull request#2openedbyRemyDegenne
  tests

  Aug 29, 20263m 31s
  More actions for workflow run 7

• Fix for loop over several collections

  failed:
  Build project#6:Pull request#1synchronizebyRemyDegenne
  forFix

  Aug 29, 20264m 20s
  More actions for workflow run 6

• Fix for loop over several collections

  cancelled:
  Build project#5:Pull request#1openedbyRemyDegenne
  forFix

  Aug 29, 20262m 54s
  More actions for workflow run 5

• delete nonfonctional update ci job

  failed:
  Build project#4:Commit0c2b643pushedbyRemyDegenne
  main

  Aug 29, 20264m 7s
  More actions for workflow run 4

• Update Dependencies

  failed:
  Update Dependencies#3:Scheduled
  main

  Aug 29, 202610s
  More actions for workflow run 3

• Update Dependencies

  failed:
  Update Dependencies#2:Scheduled
  main

  Aug 29, 202611s
  More actions for workflow run 2

• Update Dependencies

  failed:
  Update Dependencies#1:Scheduled
  main

  Aug 28, 202612s
  More actions for workflow run 1

• Add rdo and is_markov codebase

  failed:
  Build project#3:Commit15a1c66pushedbygaetanserre
  main

  Aug 28, 20268m 21s
  More actions for workflow run 3

• mk_all

  completed successfully:
  Build project#2:Commit847a5d8pushedbyRemyDegenne
  main

  Aug 28, 20263m 51s
  More actions for workflow run 2

• add CI

  cancelled:
  Build project#1:Commit1652a53pushedbyRemyDegenne
  main

  Aug 28, 20261m 45s
  More actions for workflow run 1