Skip to content

Actions: PerAlexandersson/RealRooted

Actions

Comparator CI (a trustworthy judge for Lean proofs)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
comparator.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #678 from PerAlexandersson/feat/issue-677-chordal-… Comparator CI (a trustworthy judge for Lean proofs) #3246: Commit b2ebdec pushed by PerAlexandersson
6m 16s main
main
6m 16s
Formalize chordal claw-free acyclic sink real-rootedness Comparator CI (a trustworthy judge for Lean proofs) #3245: Pull request #678 synchronize by PerAlexandersson
7m 15s feat/issue-677-chordal-acyclic-sinks
feat/issue-677-chordal-acyclic-sinks
7m 15s
Formalize chordal claw-free acyclic sink real-rootedness Comparator CI (a trustworthy judge for Lean proofs) #3244: Pull request #678 synchronize by PerAlexandersson
2m 46s feat/issue-677-chordal-acyclic-sinks
feat/issue-677-chordal-acyclic-sinks
2m 46s
Formalize chordal claw-free acyclic sink real-rootedness Comparator CI (a trustworthy judge for Lean proofs) #3243: Pull request #678 synchronize by PerAlexandersson
21m 24s feat/issue-677-chordal-acyclic-sinks
feat/issue-677-chordal-acyclic-sinks
21m 24s
Formalize chordal claw-free acyclic sink real-rootedness Comparator CI (a trustworthy judge for Lean proofs) #3242: Pull request #678 synchronize by PerAlexandersson
25m 27s feat/issue-677-chordal-acyclic-sinks
feat/issue-677-chordal-acyclic-sinks
25m 27s
Formalize chordal claw-free acyclic sink real-rootedness Comparator CI (a trustworthy judge for Lean proofs) #3241: Pull request #678 opened by PerAlexandersson
34m 39s feat/issue-677-chordal-acyclic-sinks
feat/issue-677-chordal-acyclic-sinks
34m 39s
Merge pull request #676 from PerAlexandersson/feat/issue-639-unit-int… Comparator CI (a trustworthy judge for Lean proofs) #3240: Commit 1f09f0c pushed by PerAlexandersson
48m 32s main
main
48m 32s
Formalize unit interval acyclic sink real-rootedness Comparator CI (a trustworthy judge for Lean proofs) #3239: Pull request #676 opened by PerAlexandersson
1h 10m 51s feat/issue-639-unit-interval-sinks
feat/issue-639-unit-interval-sinks
1h 10m 51s
chore: expose all-rank gamma theorem Comparator CI (a trustworthy judge for Lean proofs) #3238: Commit d78d69b pushed by PerAlexandersson
1h 7m 0s main
main
1h 7m 0s
chore: expose gamma preserver Comparator CI (a trustworthy judge for Lean proofs) #3237: Commit d3823c2 pushed by PerAlexandersson
1h 11m 3s main
main
1h 11m 3s
chore: expose gamma symbol stability Comparator CI (a trustworthy judge for Lean proofs) #3236: Commit c162436 pushed by PerAlexandersson
1h 11m 31s main
main
1h 11m 31s
chore: expose gamma-pencil foundation modules Comparator CI (a trustworthy judge for Lean proofs) #3235: Commit 281d8aa pushed by PerAlexandersson
54m 50s main
main
54m 50s
feat: add gamma-pencil recurrence foundation Comparator CI (a trustworthy judge for Lean proofs) #3234: Commit ca2eea5 pushed by PerAlexandersson
1h 0m 29s main
main
1h 0m 29s
merge: prepare derivative coefficient API for upstreaming Comparator CI (a trustworthy judge for Lean proofs) #3233: Commit af55d8e pushed by PerAlexandersson
1h 12m 10s main
main
1h 12m 10s
feat: add milestone challenges and a reader-facing audited catalog Comparator CI (a trustworthy judge for Lean proofs) #3232: Pull request #604 synchronize by PerAlexandersson
13m 22s feat/milestone-challenges-20260911
feat/milestone-challenges-20260911
13m 22s
feat: add milestone challenges and a reader-facing audited catalog Comparator CI (a trustworthy judge for Lean proofs) #3231: Pull request #604 opened by PerAlexandersson
6m 43s feat/milestone-challenges-20260911
feat/milestone-challenges-20260911
6m 43s
feat(polya-schur): add scalar sign EGF branch Comparator CI (a trustworthy judge for Lean proofs) #3230: Commit d721c89 pushed by PerAlexandersson
10m 16s main
main
10m 16s
feat(polya-schur): add alternating EGF branch Comparator CI (a trustworthy judge for Lean proofs) #3229: Commit 8a25e28 pushed by PerAlexandersson
6m 36s main
main
6m 36s
feat(polya-schur): handle initial zero prefixes Comparator CI (a trustworthy judge for Lean proofs) #3228: Commit 2f2948c pushed by PerAlexandersson
6m 14s main
main
6m 14s
feat(polya-schur): derive PF EGF majorant Comparator CI (a trustworthy judge for Lean proofs) #3227: Commit 382d465 pushed by PerAlexandersson
7m 19s main
main
7m 19s
feat(euler): preserve order numerator PF regimes Comparator CI (a trustworthy judge for Lean proofs) #3226: Commit c97ec8b pushed by PerAlexandersson
6m 14s main
main
6m 14s
feat(euler): extract order numerator step Comparator CI (a trustworthy judge for Lean proofs) #3225: Commit f5400cd pushed by PerAlexandersson
7m 49s main
main
7m 49s
feat(polya-schur): close real zeros of limits Comparator CI (a trustworthy judge for Lean proofs) #3224: Commit 7c3934c pushed by PerAlexandersson
10m 53s main
main
10m 53s
feat(polynomial): close bounded real-root limits Comparator CI (a trustworthy judge for Lean proofs) #3223: Commit e80f8a2 pushed by PerAlexandersson
11m 26s main
main
11m 26s
feat(polya-schur): preserve conjugation symmetry Comparator CI (a trustworthy judge for Lean proofs) #3222: Commit 1214e58 pushed by PerAlexandersson
7m 14s main
main
7m 14s