All workflows

Workflow runs

• Bump mathlib dependency to aac7f62

  failed:
  Compile blueprint#954:Pull request#222openedbygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Aug 25, 202630d 0h 5m 14s
  More actions for workflow run 954

• Update Dependencies

  completed successfully:
  Update Dependencies#312:Scheduled
  main

  Aug 25, 20264m 1s
  More actions for workflow run 312

• Update Dependencies

  completed successfully:
  Update Dependencies#311:Scheduled
  main

  Aug 24, 202611s
  More actions for workflow run 311

• Add the LIPO and RankOpt global optimization algorithms

  completed successfully:
  Compile blueprint#953:Pull request#216synchronizebygaetanserre
  gaetanserre:decision_optimization

  Aug 24, 202623m 8s
  More actions for workflow run 953

• Add the LIPO and RankOpt global optimization algorithms

  cancelled:
  Compile blueprint#952:Pull request#216synchronizebygaetanserre
  gaetanserre:decision_optimization

  Aug 24, 20261m 25s
  More actions for workflow run 952

• Add the LIPO and RankOpt global optimization algorithms

  cancelled:
  Compile blueprint#951:Pull request#216synchronizebygaetanserre
  gaetanserre:decision_optimization

  Aug 24, 202655s
  More actions for workflow run 951

• Update Dependencies

  completed successfully:
  Update Dependencies#310:Scheduled
  main

  Aug 24, 202610s
  More actions for workflow run 310

• Stochastic gradient descent

  completed successfully:
  Compile blueprint#950:Pull request#103synchronizebyRemyDegenne
  sgd

  Aug 24, 202613m 16s
  More actions for workflow run 950

• Bump mathlib dependency to cf65d43 (#221)

  completed successfully:
  Compile blueprint#949:Commit39831ccpushedbyRemyDegenne
  main

  Aug 24, 20261h 5m 29s
  More actions for workflow run 949

• Bump mathlib dependency to cf65d43

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

  Aug 24, 202616m 59s
  More actions for workflow run 948

• Update Dependencies

  completed successfully:
  Update Dependencies#309:Scheduled
  main

  Aug 24, 20263m 7s
  More actions for workflow run 309

• Update Dependencies

  completed successfully:
  Update Dependencies#308:Scheduled
  main

  Aug 24, 202614s
  More actions for workflow run 308

• Bump mathlib dependency to cf65d43

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

  Aug 23, 202615m 33s
  More actions for workflow run 947

• Update Dependencies

  completed successfully:
  Update Dependencies#307:Scheduled
  main

  Aug 23, 20263m 25s
  More actions for workflow run 307

• A few simple lemmas from the AlphaRAR project (#220)

  completed successfully:
  Compile blueprint#946:Commit9fd4a57pushedbyRemyDegenne
  main

  Aug 23, 202626m 23s
  More actions for workflow run 946

• A few simple lemmas from the AlphaRAR project

  completed successfully:
  Compile blueprint#945:Pull request#220synchronizebyRemyDegenne
  alpha_rar

  Aug 23, 202615m 7s
  More actions for workflow run 945

• A few simple lemmas from the AlphaRAR project

  failed:
  Compile blueprint#944:Pull request#220openedbyRemyDegenne
  alpha_rar

  Aug 23, 20264m 30s
  More actions for workflow run 944

• change filtration to take IsAlgEnvSeq

  completed successfully:
  Compile blueprint#943:Commit4830b8cpushedbyRemyDegenne
  main

  Aug 23, 202626m 18s
  More actions for workflow run 943

• Update Dependencies

  completed successfully:
  Update Dependencies#306:Scheduled
  main

  Aug 23, 202615s
  More actions for workflow run 306

• Bump mathlib dependency to v4.34.0-rc2 (#219)

  completed successfully:
  Compile blueprint#942:Commit439785bpushedbyRemyDegenne
  main

  Aug 23, 20261h 3m 23s
  More actions for workflow run 942

• Bump mathlib dependency to v4.34.0-rc2 (#219)

  completed successfully:
  Create Release#20:Commit439785bpushedbyRemyDegenne
  main

  Aug 23, 202612s
  More actions for workflow run 20

• Update Dependencies

  completed successfully:
  Update Dependencies#305:Scheduled
  main

  Aug 23, 202616s
  More actions for workflow run 305

• Stochastic gradient descent

  completed successfully:
  Compile blueprint#941:Pull request#103synchronizebyRemyDegenne
  sgd

  Aug 23, 202617m 34s
  More actions for workflow run 941

• Update Dependencies

  completed successfully:
  Update Dependencies#304:Scheduled
  main

  Aug 23, 202610s
  More actions for workflow run 304

• Update Dependencies

  completed successfully:
  Update Dependencies#303:Scheduled
  main

  Aug 22, 202611s
  More actions for workflow run 303