All workflows

Workflow runs

• Fix Mathlib deprecation warnings (#215)

  completed successfully:
  Compile blueprint#925:Commit8544313pushedbyRemyDegenne
  main

  Aug 20, 20261h 1m 3s
  More actions for workflow run 925

• Fix Mathlib deprecation warnings

  completed successfully:
  Compile blueprint#924:Pull request#215openedbygaetanserre
  gaetanserre:warnings

  Aug 20, 202614m 57s
  More actions for workflow run 924

• Bump mathlib dependency to 2db45d1 (#214)

  cancelled:
  Compile blueprint#923:Commit2cf8f3bpushedbyRemyDegenne
  main

  Aug 20, 202657m 47s
  More actions for workflow run 923

• Bump mathlib dependency to 2db45d1

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

  Aug 20, 202610m 56s
  More actions for workflow run 922

• Update Dependencies

  completed successfully:
  Update Dependencies#293:Scheduled
  main

  Aug 20, 20263m 35s
  More actions for workflow run 293

• Bump mathlib dependency to 2db45d1

  failed:
  Compile blueprint#921:Pull request#214synchronizebygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Aug 20, 202630d 0h 5m 30s
  More actions for workflow run 921

• Update Dependencies

  completed successfully:
  Update Dependencies#292:Scheduled
  main

  Aug 20, 20263m 54s
  More actions for workflow run 292

• Update Dependencies

  completed successfully:
  Update Dependencies#291:Scheduled
  main

  Aug 19, 202616s
  More actions for workflow run 291

• Stochastic gradient descent

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

  Aug 19, 202617m 17s
  More actions for workflow run 920

• Stochastic gradient descent

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

  Aug 19, 20262m 7s
  More actions for workflow run 919

• Stochastic gradient descent

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

  Aug 19, 202616m 24s
  More actions for workflow run 918

• Stochastic gradient descent

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

  Aug 19, 20265m 33s
  More actions for workflow run 917

• Stochastic gradient descent

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

  Aug 19, 20264m 11s
  More actions for workflow run 916

• Update Dependencies

  completed successfully:
  Update Dependencies#290:Scheduled
  main

  Aug 19, 202611s
  More actions for workflow run 290

• Bump mathlib dependency to 2db45d1

  failed:
  Compile blueprint#915:Pull request#214synchronizebygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Aug 19, 202630d 0h 3m 25s
  More actions for workflow run 915

• Update Dependencies

  completed successfully:
  Update Dependencies#289:Scheduled
  main

  Aug 19, 20263m 45s
  More actions for workflow run 289

• Update Dependencies

  completed successfully:
  Update Dependencies#288:Scheduled
  main

  Aug 19, 202613s
  More actions for workflow run 288

• Bump mathlib dependency to 2db45d1

  failed:
  Compile blueprint#914:Pull request#214synchronizebygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Aug 18, 202630d 0h 0m 7s
  More actions for workflow run 914

• Update Dependencies

  completed successfully:
  Update Dependencies#287:Scheduled
  main

  Aug 18, 20263m 41s
  More actions for workflow run 287

• Update Dependencies

  completed successfully:
  Update Dependencies#286:Scheduled
  main

  Aug 18, 202613s
  More actions for workflow run 286

• Bump mathlib dependency to 2db45d1

  failed:
  Compile blueprint#913:Pull request#214synchronizebygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Aug 18, 202630d 0h 3m 45s
  More actions for workflow run 913

• Update Dependencies

  completed successfully:
  Update Dependencies#285:Scheduled
  main

  Aug 18, 20263m 44s
  More actions for workflow run 285

• Update Dependencies

  completed successfully:
  Update Dependencies#284:Scheduled
  main

  Aug 18, 202616s
  More actions for workflow run 284

• Update Dependencies

  failed:
  Update Dependencies#283:Scheduled
  main

  Aug 17, 20263m 29s
  More actions for workflow run 283

• Update Dependencies

  completed successfully:
  Update Dependencies#282:Scheduled
  main

  Aug 17, 202610s
  More actions for workflow run 282