All workflows

Workflow runs

• Merge pull request #2528 from PerAlexandersson/cleanup/dedup-private-…

  completed successfully:
  Lean Action CI#6974:Commitde59924pushedbyPerAlexandersson
  main

  Nov 11, 20261h 2m 35s
  More actions for workflow run 6974

• Merge pull request #2528 from PerAlexandersson/cleanup/dedup-private-…

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5566:Commitde59924pushedbyPerAlexandersson
  main

  Nov 11, 202612m 26s
  More actions for workflow run 5566

• Centralize two privately duplicated lemmas

  completed successfully:
  Lean Action CI#6973:Pull request#2528synchronizebyPerAlexandersson
  cleanup/dedup-private-copies

  Nov 11, 202659m 30s
  More actions for workflow run 6973

• Centralize two privately duplicated lemmas

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5565:Pull request#2528synchronizebyPerAlexandersson
  cleanup/dedup-private-copies

  Nov 11, 20269m 34s
  More actions for workflow run 5565

• Merge pull request #2527 from PerAlexandersson/cleanup/branden-leite-…

  completed successfully:
  Lean Action CI#6972:Commit31bb384pushedbyPerAlexandersson
  main

  Nov 11, 202611m 12s
  More actions for workflow run 6972

• Merge pull request #2527 from PerAlexandersson/cleanup/branden-leite-…

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5564:Commit31bb384pushedbyPerAlexandersson
  main

  Nov 11, 20267m 23s
  More actions for workflow run 5564

• Centralize two privately duplicated lemmas

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5563:Pull request#2528openedbyPerAlexandersson
  cleanup/dedup-private-copies

  Nov 11, 202610m 28s
  More actions for workflow run 5563

• Centralize two privately duplicated lemmas

  cancelled:
  Lean Action CI#6971:Pull request#2528openedbyPerAlexandersson
  cleanup/dedup-private-copies

  Nov 11, 20264m 59s
  More actions for workflow run 6971

• Brändén–Leite: r ≠ 0 for natural-number hypotheses

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5562:Pull request#2527openedbyPerAlexandersson
  cleanup/branden-leite-nat-ne-zero

  Nov 11, 20266m 39s
  More actions for workflow run 5562

• Brändén–Leite: r ≠ 0 for natural-number hypotheses

  completed successfully:
  Lean Action CI#6970:Pull request#2527openedbyPerAlexandersson
  cleanup/branden-leite-nat-ne-zero

  Nov 11, 20267m 14s
  More actions for workflow run 6970

• Merge pull request #2525 from PerAlexandersson/theory/euler-orbit-cayley

  completed successfully:
  Lean Action CI#6969:Commitf41176dpushedbyPerAlexandersson
  main

  Nov 10, 20269m 49s
  More actions for workflow run 6969

• Merge pull request #2525 from PerAlexandersson/theory/euler-orbit-cayley

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5561:Commitf41176dpushedbyPerAlexandersson
  main

  Nov 10, 202612m 6s
  More actions for workflow run 5561

• Eulerian form of #2513: perturbed generalized Eulerian rows interlace

  completed successfully:
  Lean Action CI#6968:Pull request#2525synchronizebyPerAlexandersson
  theory/euler-orbit-cayley

  Nov 10, 20268m 41s
  More actions for workflow run 6968

• Eulerian form of #2513: perturbed generalized Eulerian rows interlace

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5560:Pull request#2525synchronizebyPerAlexandersson
  theory/euler-orbit-cayley

  Nov 10, 20268m 14s
  More actions for workflow run 5560

• Eulerian form of #2513: perturbed generalized Eulerian rows interlace

  completed successfully:
  Lean Action CI#6967:Pull request#2525openedbyPerAlexandersson
  theory/euler-orbit-cayley

  Nov 10, 202610m 48s
  More actions for workflow run 6967

• Eulerian form of #2513: perturbed generalized Eulerian rows interlace

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5559:Pull request#2525openedbyPerAlexandersson
  theory/euler-orbit-cayley

  Nov 10, 20266m 47s
  More actions for workflow run 5559

• Merge pull request #2524 from PerAlexandersson/theory/euler-orbit-per…

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5558:Commit9315ba6pushedbyPerAlexandersson
  main

  Nov 10, 20267m 50s
  More actions for workflow run 5558

• Merge pull request #2524 from PerAlexandersson/theory/euler-orbit-per…

  completed successfully:
  Lean Action CI#6966:Commit9315ba6pushedbyPerAlexandersson
  main

  Nov 10, 202615m 49s
  More actions for workflow run 6966

• Theta-recurrence family with interlacing rows (A141689 block, #2513)

  completed successfully:
  Lean Action CI#6965:Pull request#2524synchronizebyPerAlexandersson
  theory/euler-orbit-perturbation

  Nov 10, 20269m 19s
  More actions for workflow run 6965

• Theta-recurrence family with interlacing rows (A141689 block, #2513)

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5557:Pull request#2524synchronizebyPerAlexandersson
  theory/euler-orbit-perturbation

  Nov 10, 20268m 19s
  More actions for workflow run 5557

• Theta-recurrence family with interlacing rows (A141689 block, #2513)

  failed:
  Lean Action CI#6964:Pull request#2524openedbyPerAlexandersson
  theory/euler-orbit-perturbation

  Nov 10, 20268m 33s
  More actions for workflow run 6964

• Theta-recurrence family with interlacing rows (A141689 block, #2513)

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5556:Pull request#2524openedbyPerAlexandersson
  theory/euler-orbit-perturbation

  Nov 10, 20267m 34s
  More actions for workflow run 5556

• Merge pull request #2523 from PerAlexandersson/theory/alternation-cri…

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#5555:Commit550dfc3pushedbyPerAlexandersson
  main

  Nov 10, 20267m 45s
  More actions for workflow run 5555

• Merge pull request #2523 from PerAlexandersson/theory/alternation-cri…

  completed successfully:
  Lean Action CI#6963:Commit550dfc3pushedbyPerAlexandersson
  main

  Nov 10, 202610m 18s
  More actions for workflow run 6963

• Alternating values bound every critical value

  completed successfully:
  Lean Action CI#6962:Pull request#2523openedbyPerAlexandersson
  theory/alternation-critical-values

  Nov 10, 20268m 11s
  More actions for workflow run 6962