All workflows

Workflow runs

• Merge pull request #2000 from PerAlexandersson/docs/readme-catalog-re…

  completed successfully:
  Lean Action CI#6100:Commita8e41b2pushedbyPerAlexandersson
  main

  Oct 22, 202611m 49s
  More actions for workflow run 6100

• Merge pull request #2000 from PerAlexandersson/docs/readme-catalog-re…

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#4792:Commita8e41b2pushedbyPerAlexandersson
  main

  Oct 22, 20268m 5s
  More actions for workflow run 4792

• README: catalog references come from the shared SymCat bibliography

  completed successfully:
  Lean Action CI#6099:Pull request#2000openedbyPerAlexandersson
  docs/readme-catalog-references

  Oct 22, 20268m 49s
  More actions for workflow run 6099

• Ferrers tilings (Ahlberg–Alexandersson), layer 1: real-rootedness of the tiling polynomials

  completed successfully:
  Lean Action CI#6098:Pull request#1999openedbyPerAlexandersson
  formalize/ferrers-tilings

  Oct 22, 20262m 19s
  More actions for workflow run 6098

• Ferrers tilings (Ahlberg–Alexandersson), layer 1: real-rootedness of the tiling polynomials

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#4791:Pull request#1999openedbyPerAlexandersson
  formalize/ferrers-tilings

  Oct 22, 20266m 30s
  More actions for workflow run 4791

• Recurrence spaces, phase B: certificate replay, exceptional indices, row-tactic adapter (#1978)

  completed successfully:
  Lean Action CI#6097:Pull request#1998openedbyPerAlexandersson
  formalize/recurrence-spaces-b

  Oct 22, 20261m 36s
  More actions for workflow run 6097

• Recurrence spaces, phase B: certificate replay, exceptional indices, row-tactic adapter (#1978)

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#4790:Pull request#1998openedbyPerAlexandersson
  formalize/recurrence-spaces-b

  Oct 22, 20266m 42s
  More actions for workflow run 4790

• Merge pull request #1997 from PerAlexandersson/formalize/recurrence-s…

  completed successfully:
  Lean Action CI#6096:Commit20f2af0pushedbyPerAlexandersson
  main

  Oct 21, 202610m 40s
  More actions for workflow run 6096

• Merge pull request #1997 from PerAlexandersson/formalize/recurrence-s…

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#4789:Commit20f2af0pushedbyPerAlexandersson
  main

  Oct 21, 20267m 53s
  More actions for workflow run 4789

• Recurrence spaces, phase A: shift operators, filtered finite check, defect identity (#1978)

  completed successfully:
  Lean Action CI#6095:Pull request#1997synchronizebyPerAlexandersson
  formalize/recurrence-spaces

  Oct 21, 20261h 26m 16s
  More actions for workflow run 6095

• Recurrence spaces, phase A: shift operators, filtered finite check, defect identity (#1978)

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#4788:Pull request#1997synchronizebyPerAlexandersson
  formalize/recurrence-spaces

  Oct 21, 202612m 18s
  More actions for workflow run 4788

• Merge pull request #1996 from PerAlexandersson/core/consolidate-1

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#4787:Commitc3942ddpushedbyPerAlexandersson
  main

  Oct 21, 202612m 18s
  More actions for workflow run 4787

• Merge pull request #1996 from PerAlexandersson/core/consolidate-1

  completed successfully:
  Lean Action CI#6094:Commitc3942ddpushedbyPerAlexandersson
  main

  Oct 21, 20261h 26m 26s
  More actions for workflow run 6094

• Recurrence spaces, phase A: shift operators, filtered finite check, defect identity (#1978)

  completed successfully:
  Lean Action CI#6093:Pull request#1997openedbyPerAlexandersson
  formalize/recurrence-spaces

  Oct 21, 20267m 25s
  More actions for workflow run 6093

• Recurrence spaces, phase A: shift operators, filtered finite check, defect identity (#1978)

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#4786:Pull request#1997openedbyPerAlexandersson
  formalize/recurrence-spaces

  Oct 21, 20266m 51s
  More actions for workflow run 4786

• Core: consolidate onto Mathlib's Splits API and general interlacing lemmas

  completed successfully:
  Lean Action CI#6092:Pull request#1996openedbyPerAlexandersson
  core/consolidate-1

  Oct 21, 20261h 32m 14s
  More actions for workflow run 6092

• Core: consolidate onto Mathlib's Splits API and general interlacing lemmas

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#4785:Pull request#1996openedbyPerAlexandersson
  core/consolidate-1

  Oct 21, 202611m 51s
  More actions for workflow run 4785

• Merge pull request #1995 from PerAlexandersson/core/golf-6

  completed successfully:
  Lean Action CI#6091:Commitf66c47bpushedbyPerAlexandersson
  main

  Oct 21, 202638m 9s
  More actions for workflow run 6091

• Merge pull request #1995 from PerAlexandersson/core/golf-6

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#4784:Commitf66c47bpushedbyPerAlexandersson
  main

  Oct 21, 202610m 21s
  More actions for workflow run 4784

• Golf batch 6: EdreiThoma, Hyperbolicity, MorrisDFlow and others

  completed successfully:
  Lean Action CI#6090:Pull request#1995openedbyPerAlexandersson
  core/golf-6

  Oct 21, 202633m 57s
  More actions for workflow run 6090

• Golf batch 6: EdreiThoma, Hyperbolicity, MorrisDFlow and others

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#4783:Pull request#1995openedbyPerAlexandersson
  core/golf-6

  Oct 21, 20267m 19s
  More actions for workflow run 4783

• Merge pull request #1994 from PerAlexandersson/catalog/symcat-integra…

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#4782:Commit6da5aebpushedbyPerAlexandersson
  main

  Oct 21, 20269m 31s
  More actions for workflow run 4782

• Merge pull request #1994 from PerAlexandersson/catalog/symcat-integra…

  completed successfully:
  Lean Action CI#6089:Commit6da5aebpushedbyPerAlexandersson
  main

  Oct 21, 202613m 8s
  More actions for workflow run 6089

• Catalog: share the symmetricfunctions.com bibliography and labels

  completed successfully:
  Lean Action CI#6088:Pull request#1994openedbyPerAlexandersson
  catalog/symcat-integration

  Oct 21, 202610m 42s
  More actions for workflow run 6088

• Catalog: share the symmetricfunctions.com bibliography and labels

  completed successfully:
  Comparator CI (a trustworthy judge for Lean proofs)#4781:Pull request#1994openedbyPerAlexandersson
  catalog/symcat-integration

  Oct 21, 20266m 27s
  More actions for workflow run 4781