Skip to content

Actions: rjwalters/lean-genius

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30,014 workflow runs
30,014 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enrich prob-method-second-moment-oq-01: add header section and annota… .github/workflows/label-external-issues.yml #29834: Commit 0222ae2 pushed by rjwalters
Failure feature/enricher-2
feature/enricher-2
Failure
Enrich sylow-theorem: 11 annotations, 7 sections, expanded insights .github/workflows/label-external-issues.yml #29833: Commit c1c806f pushed by rjwalters
Failure feature/enricher-1
feature/enricher-1
Failure
Enrich 5 gallery entries: derangements-convergence, CS-oq04-oq01, bez… .github/workflows/label-external-issues.yml #29832: Commit 4d9fdde pushed by rjwalters
Failure main
main
Failure
Enrich 5 gallery entries: derangements-convergence, CS-oq04-oq01, bez… .github/workflows/label-external-issues.yml #29831: Commit 4d9fdde pushed by rjwalters
Failure main
main
Failure
Fix: add Fodor's Pressing-Down Lemma — Lean source and gallery entry … .github/workflows/label-external-issues.yml #29830: Commit bef1fa4 pushed by rjwalters
-1s main
main
-1s
Enrich sylow-theorem-oq-01: 6 annotations, 7 sections, 5th keyInsight .github/workflows/label-external-issues.yml #29829: Commit 955d145 pushed by rjwalters
Failure feature/enricher-2
feature/enricher-2
Failure
Research: triangle-inequality-oq-02 — p-adic ultrametric inequality .github/workflows/label-external-issues.yml #29828: Commit cd567fd pushed by rjwalters
Failure feature/researcher-9
feature/researcher-9
Failure
Fix: add Fodor's Pressing-Down Lemma — Lean source and gallery entry … .github/workflows/label-external-issues.yml #29827: Commit bec83a3 pushed by rjwalters
Failure fix/mechanic-9517
fix/mechanic-9517
Failure
Enrich prob-method-second-moment-oq-01: add header section and annota… .github/workflows/label-external-issues.yml #29826: Commit c0f5c8f pushed by rjwalters
Failure feature/enricher-2
feature/enricher-2
Failure
fix: correct pow_succ usage, induction_on' names, mulVec_mulVec args .github/workflows/label-external-issues.yml #29825: Commit 863f065 pushed by rjwalters
Failure feature/researcher-10
feature/researcher-10
Failure
Enrich cauchy-schwarz-oq-04-oq-01: 7 annotations, 6 sections, expande… .github/workflows/label-external-issues.yml #29824: Commit 29a5628 pushed by rjwalters
Failure feature/enricher-2
feature/enricher-2
Failure
Enrich product-of-segments-of-chords-oq-01: 10 annotations, 8 section… .github/workflows/label-external-issues.yml #29823: Commit 8eb9590 pushed by rjwalters
Failure feature/enricher-2
feature/enricher-2
Failure
fix: use P.inv/P.val instead of ↑P⁻¹/↑P to fix coercion elaboration .github/workflows/label-external-issues.yml #29822: Commit ff63416 pushed by rjwalters
Failure feature/researcher-10
feature/researcher-10
Failure
Enrich angle-trisection-oq-04: 5 annotations, 6 sections, expand history .github/workflows/label-external-issues.yml #29821: Commit e2dbcca pushed by rjwalters
Failure feature/enricher-1
feature/enricher-1
Failure
Research: cantor-diagonalization-oq-02-oq-03-oq-02 — Fodor's pressing… .github/workflows/label-external-issues.yml #29820: Commit 0482cc4 pushed by rjwalters
Failure feature/researcher-9
feature/researcher-9
Failure
Enrich algebraic-numbers-countable: 5 annotations, 7 sections, expand… .github/workflows/label-external-issues.yml #29819: Commit d2708c1 pushed by rjwalters
Failure feature/enricher-1
feature/enricher-1
Failure
Enrich e-transcendental-oq-01-oq-01: 5 annotations, 7 sections, Neste… .github/workflows/label-external-issues.yml #29818: Commit 3245a05 pushed by rjwalters
Failure feature/enricher-2
feature/enricher-2
Failure
docs: add detailed proof strategies for gh_initial_cycle and gh_cycle… .github/workflows/label-external-issues.yml #29817: Commit aae9cb4 pushed by rjwalters
Failure feature/researcher-6
feature/researcher-6
Failure
Add complete elliptic integral K(k) formalization (AMGM OQ04-OQ01) .github/workflows/label-external-issues.yml #29816: Commit fe8ac27 pushed by rjwalters
Failure feature/researcher-7
feature/researcher-7
Failure
feat(erdos-1059-oq-01): add three level-6 witnesses (937, 967, 1009) … .github/workflows/label-external-issues.yml #29815: Commit 4ee9e07 pushed by rjwalters
Failure feature/researcher-8
feature/researcher-8
Failure
chore: sync research listings and data (#9519) .github/workflows/label-external-issues.yml #29814: Commit ce2cdd9 pushed by rjwalters
Failure main
main
Failure
chore: sync research listings and data .github/workflows/label-external-issues.yml #29813: Commit 584eeab pushed by rjwalters
Failure chore/sync-research-data-20260404
chore/sync-research-data-20260404
Failure
fix: repair aeval_conj, cyclic_iff_ann_eq_minpoly, F2_union_covers pr… .github/workflows/label-external-issues.yml #29812: Commit f9b44bb pushed by rjwalters
Failure feature/researcher-10
feature/researcher-10
Failure
Enrich product-of-segments-of-chords-oq-01: 5 annotations, 5 sections… .github/workflows/label-external-issues.yml #29811: Commit 7495de8 pushed by rjwalters
Failure feature/enricher-2
feature/enricher-2
Failure
Enrich chebyshev-bounds: add 5 annotations, 6 sections, expand keyIns… .github/workflows/label-external-issues.yml #29810: Commit a154dfb pushed by rjwalters
Failure feature/enricher-1
feature/enricher-1
Failure