All workflows

Workflow runs

• Review lemma vs theorem

  completed successfully:
  Compile blueprint#637:Pull request#132openedbyRemyDegenne
  blueprint

  Jun 15, 202614m 50s
  More actions for workflow run 637

• Bump mathlib dependency to 261b5e3 (#131)

  completed successfully:
  Compile blueprint#636:Commitdc678f4pushedbyRemyDegenne
  main

  Jun 15, 20261h 1m 40s
  More actions for workflow run 636

• Update Dependencies

  completed successfully:
  Update Dependencies#27:Scheduled
  main

  Jun 15, 20263m 11s
  More actions for workflow run 27

• Bump mathlib dependency to 6923f2f (#129)

  completed successfully:
  Compile blueprint#634:Commitef60c6apushedbyRemyDegenne
  main

  Jun 15, 20261h 0m 47s
  More actions for workflow run 634

• CI tweak (#130)

  cancelled:
  Compile blueprint#633:Commit11bfee0pushedbyRemyDegenne
  main

  Jun 15, 202631s
  More actions for workflow run 633

• CI tweak

  completed successfully:
  Compile blueprint#632:Pull request#130openedbyRemyDegenne
  blueprint

  Jun 15, 202613m 9s
  More actions for workflow run 632

• Update Dependencies

  completed successfully:
  Update Dependencies#26:Scheduled
  main

  Jun 15, 202619s
  More actions for workflow run 26

• Bump mathlib dependency to 6923f2f

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

  Jun 14, 202613m 51s
  More actions for workflow run 631

• Update Dependencies

  completed successfully:
  Update Dependencies#25:Scheduled
  main

  Jun 14, 20263m 9s
  More actions for workflow run 25

• Update Dependencies

  completed successfully:
  Update Dependencies#24:Scheduled
  main

  Jun 14, 202614s
  More actions for workflow run 24

• Bump mathlib dependency to 9e7b1c1 (#128)

  completed successfully:
  Compile blueprint#630:Commit542b0cdpushedbyRemyDegenne
  main

  Jun 14, 202651m 14s
  More actions for workflow run 630

• Update Dependencies

  completed successfully:
  Update Dependencies#23:Scheduled
  main

  Jun 14, 20263m 29s
  More actions for workflow run 23

• Update Dependencies

  completed successfully:
  Update Dependencies#22:Scheduled
  main

  Jun 14, 202614s
  More actions for workflow run 22

• Bump mathlib dependency to dab4b77 (#127)

  completed successfully:
  Compile blueprint#628:Commit22ca761pushedbyRemyDegenne
  main

  Jun 13, 202657m 26s
  More actions for workflow run 628

• Update Dependencies

  completed successfully:
  Update Dependencies#21:Scheduled
  main

  Jun 13, 20263m 20s
  More actions for workflow run 21

• Mark two results as theorems instead of lemmas (#126)

  completed successfully:
  Compile blueprint#626:Commit93eda16pushedbyRemyDegenne
  main

  Jun 13, 202622m 33s
  More actions for workflow run 626

• Mark two results as theorems instead of lemmas

  completed successfully:
  Compile blueprint#625:Pull request#126openedbyRemyDegenne
  blueprint

  Jun 13, 202619m 17s
  More actions for workflow run 625

• Update Dependencies

  completed successfully:
  Update Dependencies#20:Scheduled
  main

  Jun 13, 202614s
  More actions for workflow run 20

• Bump mathlib dependency to 17060bc (#125)

  completed successfully:
  Compile blueprint#624:Commit23eb816pushedbyRemyDegenne
  main

  Jun 13, 202658m 15s
  More actions for workflow run 624

• Bump mathlib dependency to 17060bc

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

  Jun 13, 202618m 15s
  More actions for workflow run 623

• Update Dependencies

  completed successfully:
  Update Dependencies#19:Scheduled
  main

  Jun 13, 20263m 31s
  More actions for workflow run 19

• Bump mathlib dependency to 97e3b24 (#123)

  completed successfully:
  Compile blueprint#622:Commit54f39aepushedbyRemyDegenne
  main

  Jun 13, 202651m 18s
  More actions for workflow run 622

• Add exposition website (#124)

  cancelled:
  Compile blueprint#621:Commit426cbcfpushedbyRemyDegenne
  main

  Jun 13, 20262m 55s
  More actions for workflow run 621

• Add exposition website

  completed successfully:
  Compile blueprint#620:Pull request#124openedbyRemyDegenne
  blueprint

  Jun 13, 202621m 21s
  More actions for workflow run 620

• Update Dependencies

  completed successfully:
  Update Dependencies#18:Scheduled
  main

  Jun 13, 202611s
  More actions for workflow run 18