All workflows

Workflow runs

• 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

• Update Dependencies

  completed successfully:
  Update Dependencies#302:Scheduled
  main

  Aug 22, 202611s
  More actions for workflow run 302

• Bump mathlib dependency to v4.34.0-rc2

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

  Aug 22, 202617m 7s
  More actions for workflow run 940

• Update Dependencies

  completed successfully:
  Update Dependencies#301:Scheduled
  main

  Aug 22, 20263m 47s
  More actions for workflow run 301

• Bump mathlib dependency to v4.34.0-rc2

  cancelled:
  Compile blueprint#939:Pull request#219synchronizebygithub-actions[bot]Bot
  hopscotch/lkg-bump

  Aug 22, 20269m 11s
  More actions for workflow run 939

• Update Dependencies

  completed successfully:
  Update Dependencies#300:Scheduled
  main

  Aug 22, 20263m 33s
  More actions for workflow run 300

• Update Dependencies

  completed successfully:
  Update Dependencies#299:Scheduled
  main

  Aug 21, 202612s
  More actions for workflow run 299

• Bump mathlib dependency to v4.34.0-rc2

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

  Aug 21, 202618m 11s
  More actions for workflow run 938

• Update Dependencies

  completed successfully:
  Update Dependencies#298:Scheduled
  main

  Aug 21, 20263m 57s
  More actions for workflow run 298

• Add the kernel_hom tactic (#217)

  failed:
  Compile blueprint#937:Commitd54da15pushedbyRemyDegenne
  main

  Aug 21, 202611m 26s
  More actions for workflow run 937

• Bump mathlib dependency to 7226ed1 (#218)

  cancelled:
  Compile blueprint#936:Commiteb4e8capushedbyRemyDegenne
  main

  Aug 21, 202615m 35s
  More actions for workflow run 936

• Update Dependencies

  completed successfully:
  Update Dependencies#297:Scheduled
  main

  Aug 21, 20269s
  More actions for workflow run 297