All workflows

Workflow runs

• Merge pull request #2546 from PerAlexandersson/feat/section-recurrences

  completed successfully:
  Lean Action CI#7006:Commit8893feapushedbyPerAlexandersson
  main

  Nov 12, 202612m 58s
  More actions for workflow run 7006

• Merge pull request #2546 from PerAlexandersson/feat/section-recurrences

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5595:Commit8893feapushedbyPerAlexandersson
  main

  Nov 12, 20267m 59s
  More actions for workflow run 5595

• Veronese sections preserve constant-coefficient linear recurrences (#2533 part 2)

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5594:Pull request#2546synchronizebyPerAlexandersson
  feat/section-recurrences

  Nov 12, 20265m 25s
  More actions for workflow run 5594

• Veronese sections preserve constant-coefficient linear recurrences (#2533 part 2)

  completed successfully:
  Lean Action CI#7005:Pull request#2546synchronizebyPerAlexandersson
  feat/section-recurrences

  Nov 12, 202610m 17s
  More actions for workflow run 7005

• Veronese sections preserve constant-coefficient linear recurrences (#2533 part 2)

  failed:
  Lean Action CI#7004:Pull request#2546synchronizebyPerAlexandersson
  feat/section-recurrences

  Nov 12, 20265m 13s
  More actions for workflow run 7004

• Veronese sections preserve constant-coefficient linear recurrences (#2533 part 2)

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5593:Pull request#2546synchronizebyPerAlexandersson
  feat/section-recurrences

  Nov 12, 20265m 30s
  More actions for workflow run 5593

• Veronese sections preserve constant-coefficient linear recurrences (#2533 part 2)

  failed:
  Lean Action CI#7003:Pull request#2546openedbyPerAlexandersson
  feat/section-recurrences

  Nov 12, 20265m 35s
  More actions for workflow run 7003

• Veronese sections preserve constant-coefficient linear recurrences (#2533 part 2)

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5592:Pull request#2546openedbyPerAlexandersson
  feat/section-recurrences

  Nov 12, 20266m 45s
  More actions for workflow run 5592

• Merge pull request #2545 from PerAlexandersson/feat/psi-derivative-op…

  completed successfully:
  Lean Action CI#7002:Commitea71810pushedbyPerAlexandersson
  main

  Nov 12, 202610m 37s
  More actions for workflow run 7002

• Merge pull request #2545 from PerAlexandersson/feat/psi-derivative-op…

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5591:Commitea71810pushedbyPerAlexandersson
  main

  Nov 12, 20267m 52s
  More actions for workflow run 5591

• Hermite–Poulain: X·ψ(D) + α·ψ'(D) preserves real-rootedness

  completed successfully:
  Lean Action CI#7001:Pull request#2545openedbyPerAlexandersson
  feat/psi-derivative-operator

  Nov 12, 20268m 27s
  More actions for workflow run 7001

• Hermite–Poulain: X·ψ(D) + α·ψ'(D) preserves real-rootedness

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5590:Pull request#2545openedbyPerAlexandersson
  feat/psi-derivative-operator

  Nov 12, 20265m 34s
  More actions for workflow run 5590

• Merge pull request #2543 from PerAlexandersson/feat/euler-bidiagonal-…

  completed successfully:
  Lean Action CI#7000:Commit27276f9pushedbyPerAlexandersson
  main

  Nov 12, 202621m 48s
  More actions for workflow run 7000

• Merge pull request #2543 from PerAlexandersson/feat/euler-bidiagonal-…

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5589:Commit27276f9pushedbyPerAlexandersson
  main

  Nov 12, 202610m 50s
  More actions for workflow run 5589

• Euler bidiagonal rows with varying parameters; Lah numbers of higher level 2

  completed successfully:
  Lean Action CI#6999:Pull request#2543synchronizebyPerAlexandersson
  feat/euler-bidiagonal-varying

  Nov 12, 202621m 19s
  More actions for workflow run 6999

• Euler bidiagonal rows with varying parameters; Lah numbers of higher level 2

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5588:Pull request#2543synchronizebyPerAlexandersson
  feat/euler-bidiagonal-varying

  Nov 12, 20268m 18s
  More actions for workflow run 5588

• Merge pull request #2542 from PerAlexandersson/feat/polynomial-gram-u…

  completed successfully:
  Lean Action CI#6998:Commitbf255bbpushedbyPerAlexandersson
  main

  Nov 12, 202611m 53s
  More actions for workflow run 6998

• Merge pull request #2542 from PerAlexandersson/feat/polynomial-gram-u…

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5587:Commitbf255bbpushedbyPerAlexandersson
  main

  Nov 12, 20268m 43s
  More actions for workflow run 5587

• Euler bidiagonal rows with varying parameters; Lah numbers of higher level 2

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5586:Pull request#2543openedbyPerAlexandersson
  feat/euler-bidiagonal-varying

  Nov 12, 20267m 40s
  More actions for workflow run 5586

• Euler bidiagonal rows with varying parameters; Lah numbers of higher level 2

  failed:
  Lean Action CI#6997:Pull request#2543openedbyPerAlexandersson
  feat/euler-bidiagonal-varying

  Nov 12, 202617m 18s
  More actions for workflow run 6997

• Polynomial Gram matrices: Mathlib-style module docstring and tidy proofs

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5585:Pull request#2542openedbyPerAlexandersson
  feat/polynomial-gram-unimodular

  Nov 12, 20265m 57s
  More actions for workflow run 5585

• Polynomial Gram matrices: Mathlib-style module docstring and tidy proofs

  completed successfully:
  Lean Action CI#6996:Pull request#2542openedbyPerAlexandersson
  feat/polynomial-gram-unimodular

  Nov 12, 20267m 58s
  More actions for workflow run 6996

• Merge pull request #2540 from PerAlexandersson/cleanup/naming-batch-2

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5584:Commit2b6ba05pushedbyPerAlexandersson
  main

  Nov 12, 202611m 19s
  More actions for workflow run 5584

• Merge pull request #2540 from PerAlexandersson/cleanup/naming-batch-2

  completed successfully:
  Lean Action CI#6995:Commit2b6ba05pushedbyPerAlexandersson
  main

  Nov 12, 202645m 47s
  More actions for workflow run 6995

• Move catalog theorems out of the Challenges namespace; closure-lemma names for preserves

  completed successfully:
  Lean Action CI#6994:Pull request#2540openedbyPerAlexandersson
  cleanup/naming-batch-2

  Nov 12, 202633m 57s
  More actions for workflow run 6994