All workflows

Workflow runs

• Update Dependencies

  completed successfully:
  Update Dependencies#217:Scheduled
  main

  Aug 1, 20263m 43s
  More actions for workflow run 217

• Update Dependencies

  completed successfully:
  Update Dependencies#216:Scheduled
  main

  Aug 1, 202617s
  More actions for workflow run 216

• Add RDo monad infrastructure

  failed:
  Compile blueprint#892:Pull request#207openedbyDavidLedvinka
  DavidLedvinka:RDo

  Jul 31, 20265m 38s
  More actions for workflow run 892

• Bump mathlib dependency to 1f8806b

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

  Jul 31, 202630d 0h 3m 2s
  More actions for workflow run 891

• Update Dependencies

  completed successfully:
  Update Dependencies#215:Scheduled
  main

  Jul 31, 202611m 29s
  More actions for workflow run 215

• Bump mathlib dependency to 2705f82 (#205)

  completed successfully:
  Compile blueprint#890:Commitaa8bda2pushedbyRemyDegenne
  main

  Jul 31, 202651m 58s
  More actions for workflow run 890

• Random sampling (#154)

  cancelled:
  Compile blueprint#889:Commitd43d5d8pushedbyRemyDegenne
  main

  Jul 31, 202636s
  More actions for workflow run 889

• Random sampling

  completed successfully:
  Compile blueprint#888:Pull request#154synchronizebygaetanserre
  gaetanserre:randomSampling

  Jul 31, 202613m 43s
  More actions for workflow run 888

• Update Dependencies

  completed successfully:
  Update Dependencies#214:Scheduled
  main

  Jul 31, 202622s
  More actions for workflow run 214

• Bump mathlib dependency to 2705f82

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

  Jul 31, 202618m 31s
  More actions for workflow run 887

• Update Dependencies

  completed successfully:
  Update Dependencies#213:Scheduled
  main

  Jul 31, 20263m 36s
  More actions for workflow run 213

• Bump mathlib dependency to 2705f82

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

  Jul 31, 202630d 0h 2m 42s
  More actions for workflow run 886

• Update Dependencies

  completed successfully:
  Update Dependencies#212:Scheduled
  main

  Jul 31, 20263m 15s
  More actions for workflow run 212

• Update Dependencies

  completed successfully:
  Update Dependencies#211:Scheduled
  main

  Jul 30, 202619s
  More actions for workflow run 211

• Bump mathlib dependency to ccedd50 (#204)

  completed successfully:
  Compile blueprint#885:Commite3577e3pushedbyRemyDegenne
  main

  Jul 30, 20261h 6m 47s
  More actions for workflow run 885

• Bump mathlib dependency to ccedd50

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

  Jul 30, 202615m 25s
  More actions for workflow run 884

• Update Dependencies

  completed successfully:
  Update Dependencies#210:Scheduled
  main

  Jul 30, 20263m 43s
  More actions for workflow run 210

• Random sampling

  completed successfully:
  Compile blueprint#883:Pull request#154synchronizebygaetanserre
  gaetanserre:randomSampling

  Jul 30, 202614m 28s
  More actions for workflow run 883

• Random sampling

  failed:
  Compile blueprint#882:Pull request#154synchronizebygaetanserre
  gaetanserre:randomSampling

  Jul 30, 20263m 46s
  More actions for workflow run 882

• Update CI to put referee ledger on own branch (#203)

  completed successfully:
  Compile blueprint#881:Commitce231ebpushedbyRemyDegenne
  main

  Jul 30, 202619m 34s
  More actions for workflow run 881

• Update CI to put referee ledger on own branch

  completed successfully:
  Compile blueprint#880:Pull request#203openedbyRemyDegenne
  blueprint

  Jul 30, 202614m 23s
  More actions for workflow run 880

• Update Dependencies

  completed successfully:
  Update Dependencies#209:Scheduled
  main

  Jul 30, 202614s
  More actions for workflow run 209

• Bump mathlib dependency to edc39bf (#202)

  completed successfully:
  Compile blueprint#879:Commit669fbd2pushedbyRemyDegenne
  main

  Jul 30, 202649m 36s
  More actions for workflow run 879

• Bump mathlib dependency to edc39bf

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

  Jul 30, 202614m 7s
  More actions for workflow run 878

• Update Dependencies

  completed successfully:
  Update Dependencies#208:Scheduled
  main

  Jul 30, 20263m 31s
  More actions for workflow run 208