Project Advisory Comment

Workflow runs for Project Advisory Comment

• Fix proof-length counter including unrelated declarations

  completed successfully:
  Project Advisory Comment#7693:Pull request#712synchronizebyloefflerd
  Oct 28, 202641s
  More actions for workflow run 7693

• Fix proof-length counter including unrelated declarations

  completed successfully:
  Project Advisory Comment#7692:Pull request#712editedbyloefflerd
  Oct 28, 202644s
  More actions for workflow run 7692

• Fix proof-length counter including unrelated declarations

  completed successfully:
  Project Advisory Comment#7691:Pull request#712ready_for_reviewbyloefflerd
  Oct 28, 202638s
  More actions for workflow run 7691

• Fix proof-length counter including unrelated declarations

  completed successfully:
  Project Advisory Comment#7690:Pull request#712synchronizebyloefflerd
  Oct 28, 202645s
  More actions for workflow run 7690

• feat(CompositionAlgebrasOverRings): derive Euclidean Hurwitz theorems from the general theory

  completed successfully:
  Project Advisory Comment#7689:Pull request#722openedbyskipgaribaldi
  Oct 28, 202650s
  More actions for workflow run 7689

• Project Advisory Comment

  completed successfully:
  Project Advisory Comment#7688:Scheduled
  main

  Oct 27, 20267m 0s
  More actions for workflow run 7688

• Eichler-Shimura material from FLT

  completed successfully:
  Project Advisory Comment#7687:Pull request#696synchronizebyloefflerd
  Oct 26, 202647s
  More actions for workflow run 7687

• Project Advisory Comment

  completed successfully:
  Project Advisory Comment#7686:Scheduled
  main

  Oct 26, 20267m 30s
  More actions for workflow run 7686

• perf(DomainTheory): narrow imports and factor repeated proofs

  completed successfully:
  Project Advisory Comment#7685:Pull request#720openedbyVilin97
  Oct 26, 202652s
  More actions for workflow run 7685

• fix axiom-audit checker to use Lean env rather than source parsing

  completed successfully:
  Project Advisory Comment#7684:Pull request#719editedbyloefflerd
  Oct 26, 202641s
  More actions for workflow run 7684

• fix axiom-audit checker to use Lean env rather than source parsing

  completed successfully:
  Project Advisory Comment#7683:Pull request#719editedbyloefflerd
  Oct 26, 202651s
  More actions for workflow run 7683

• fix axiom-audit checker to use Lean env rather than source parsing

  completed successfully:
  Project Advisory Comment#7682:Pull request#719synchronizebyloefflerd
  Oct 26, 202645s
  More actions for workflow run 7682

• fix axiom-audit checker to use Lean env rather than source parsing

  completed successfully:
  Project Advisory Comment#7681:Pull request#719editedbyloefflerd
  Oct 25, 202641s
  More actions for workflow run 7681

• fix axiom-audit checker to use Lean env rather than source parsing

  completed successfully:
  Project Advisory Comment#7680:Pull request#719synchronizebyloefflerd
  Oct 25, 202641s
  More actions for workflow run 7680

• fix axiom-audit checker to use Lean env rather than source parsing

  completed successfully:
  Project Advisory Comment#7679:Pull request#719synchronizebyloefflerd
  Oct 25, 202640s
  More actions for workflow run 7679

• fix axiom-audit checker to use Lean env rather than source parsing

  completed successfully:
  Project Advisory Comment#7678:Pull request#719editedbyloefflerd
  Oct 25, 20261m 14s
  More actions for workflow run 7678

• fix axiom-audit checker to use Lean env rather than source parsing

  completed successfully:
  Project Advisory Comment#7677:Pull request#719openedbyloefflerd
  Oct 25, 202642s
  More actions for workflow run 7677

• Eichler-Shimura material from FLT

  completed successfully:
  Project Advisory Comment#7676:Pull request#696synchronizebyloefflerd
  Oct 25, 202646s
  More actions for workflow run 7676

• Eichler-Shimura material from FLT

  completed successfully:
  Project Advisory Comment#7675:Pull request#696synchronizebyloefflerd
  Oct 25, 202648s
  More actions for workflow run 7675

• Project Advisory Comment

  completed successfully:
  Project Advisory Comment#7674:Scheduled
  main

  Oct 25, 20265m 30s
  More actions for workflow run 7674

• Eichler-Shimura material from FLT

  completed successfully:
  Project Advisory Comment#7673:Pull request#696synchronizebyloefflerd
  Oct 25, 202651s
  More actions for workflow run 7673

• Optimize DomainTheory imports and repeated proofs

  completed successfully:
  Project Advisory Comment#7672:Pull request#718openedbyVilin97
  Oct 25, 202644s
  More actions for workflow run 7672

• Eichler-Shimura material from FLT

  completed successfully:
  Project Advisory Comment#7671:Pull request#696synchronizebyloefflerd
  Oct 24, 202645s
  More actions for workflow run 7671

• Eichler-Shimura material from FLT

  completed successfully:
  Project Advisory Comment#7670:Pull request#696synchronizebyloefflerd
  Oct 24, 202644s
  More actions for workflow run 7670

• Reduce Erdos97ConvexOctagon peak compiler memory

  completed successfully:
  Project Advisory Comment#7669:Pull request#717editedbyVilin97
  Oct 24, 202640s
  More actions for workflow run 7669