All workflows

Workflow runs

• Stochastic gradient descent

  cancelled:
  Compile blueprint#768:Pull request#103synchronizebyRemyDegenne
  sgd

  Jun 27, 202644s
  More actions for workflow run 768

• Stochastic gradient descent

  failed:
  Compile blueprint#767:Pull request#103synchronizebyRemyDegenne
  sgd

  Jun 27, 20265m 30s
  More actions for workflow run 767

• Bump mathlib dependency to 0ee7df2 (#166)

  completed successfully:
  Compile blueprint#766:Commitae44721pushedbyRemyDegenne
  main

  Jun 27, 20261h 3m 11s
  More actions for workflow run 766

• replace measurableArgmax by argmax (#153)

  cancelled:
  Compile blueprint#765:Commitd7168d5pushedbyRemyDegenne
  main

  Jun 27, 202648s
  More actions for workflow run 765

• Bump mathlib dependency to 0ee7df2

  completed successfully:
  Compile blueprint#764:Pull request#166synchronizebygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Jun 27, 202613m 49s
  More actions for workflow run 764

• Update Dependencies

  completed successfully:
  Update Dependencies#76:Scheduled
  main

  Jun 27, 20263m 26s
  More actions for workflow run 76

• Update Dependencies

  completed successfully:
  Update Dependencies#75:Scheduled
  main

  Jun 27, 202611s
  More actions for workflow run 75

• replace measurableArgmax by argmax

  completed successfully:
  Compile blueprint#763:Pull request#153synchronizebygaetanserre
  gaetanserre:argmax

  Jun 26, 202615m 58s
  More actions for workflow run 763

• replace measurableArgmax by argmax

  failed:
  Compile blueprint#762:Pull request#153synchronizebygaetanserre
  gaetanserre:argmax

  Jun 26, 20268m 54s
  More actions for workflow run 762

• replace measurableArgmax by argmax

  cancelled:
  Compile blueprint#761:Pull request#153synchronizebygaetanserre
  gaetanserre:argmax

  Jun 26, 20269s
  More actions for workflow run 761

• replace measurableArgmax by argmax

  cancelled:
  Compile blueprint#760:Pull request#153synchronizebygaetanserre
  gaetanserre:argmax

  Jun 26, 20265m 8s
  More actions for workflow run 760

• replace measurableArgmax by argmax

  cancelled:
  Compile blueprint#759:Pull request#153synchronizebygaetanserre
  gaetanserre:argmax

  Jun 26, 202610s
  More actions for workflow run 759

• Bump mathlib dependency to 0ee7df2

  completed successfully:
  Compile blueprint#753:Pull request#166openedbygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Jun 26, 202616m 9s
  More actions for workflow run 753

• Update Dependencies

  completed successfully:
  Update Dependencies#74:Scheduled
  main

  Jun 26, 20263m 30s
  More actions for workflow run 74

• linUCB

  completed successfully:
  Compile blueprint#750:Pull request#113synchronizebyFawadHa1der
  FawadHa1der:issue-112

  Jun 26, 202612m 46s
  More actions for workflow run 750

• linUCB

  failed:
  Compile blueprint#744:Pull request#113synchronizebyFawadHa1der
  FawadHa1der:issue-112

  Jun 26, 20262m 41s
  More actions for workflow run 744

• replace measurableArgmax by argmax

  failed:
  Compile blueprint#743:Pull request#153synchronizebygaetanserre
  gaetanserre:argmax

  Jun 26, 20265m 12s
  More actions for workflow run 743

• Update Mathlib and fix lint errors (#162)

  completed successfully:
  Compile blueprint#742:Commit7313a36pushedbyRemyDegenne
  main

  Jun 26, 202650m 39s
  More actions for workflow run 742

• replace measurableArgmax by argmax

  completed successfully:
  Compile blueprint#741:Pull request#153synchronizebygaetanserre
  gaetanserre:argmax

  Jun 26, 202614m 33s
  More actions for workflow run 741

• replace measurableArgmax by argmax

  cancelled:
  Compile blueprint#740:Pull request#153synchronizebygaetanserre
  gaetanserre:argmax

  Jun 26, 20269s
  More actions for workflow run 740

• replace measurableArgmax by argmax

  cancelled:
  Compile blueprint#739:Pull request#153synchronizebygaetanserre
  gaetanserre:argmax

  Jun 26, 20268s
  More actions for workflow run 739

• replace measurableArgmax by argmax

  cancelled:
  Compile blueprint#738:Pull request#153synchronizebygaetanserre
  gaetanserre:argmax

  Jun 26, 202631s
  More actions for workflow run 738

• Update Mathlib and fix lint errors

  completed successfully:
  Compile blueprint#737:Pull request#162openedbyRemyDegenne
  bump

  Jun 26, 202615m 28s
  More actions for workflow run 737

• Update Dependencies

  completed successfully:
  Update Dependencies#73:Scheduled
  main

  Jun 26, 202612s
  More actions for workflow run 73

• linUCB

  failed:
  Compile blueprint#736:Pull request#113synchronizebyFawadHa1der
  FawadHa1der:issue-112

  Jun 26, 20262m 36s
  More actions for workflow run 736