Skip to content

Actions: leanprover/lean-eval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,210 workflow runs
2,210 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
feat(Analysis/PDE): Total variation estimate for hyperbolic systems CI #1183: Pull request #499 synchronize by jvanwinden
Action required jvanwinden:viscous_shock
jvanwinden:viscous_shock
Action required
feat(Analysis/PDE): Total variation estimate for hyperbolic systems CI #1182: Pull request #499 synchronize by jvanwinden
Action required jvanwinden:viscous_shock
jvanwinden:viscous_shock
Action required
Add Dimitrov's theorem CI #1181: Pull request #479 synchronize by jinpingzou73517
Action required jinpingzou73517:main
jinpingzou73517:main
Action required
feat(Geometry): add Freedman's non-smoothability theorem CI #1180: Pull request #523 synchronize by ocfnash
Action required ocfnash:ocfnash/e8_mfld
ocfnash:ocfnash/e8_mfld
Action required
feat(Geometry): add Gauss-Bonnet CI #1179: Pull request #517 synchronize by ocfnash
Action required ocfnash:ocfnash/gauss_bonnet
ocfnash:ocfnash/gauss_bonnet
Action required
feat(Geometry): add Freedman's non-smoothability theorem CI #1178: Pull request #523 synchronize by ocfnash
Action required ocfnash:ocfnash/e8_mfld
ocfnash:ocfnash/e8_mfld
Action required
Add Dimitrov's theorem CI #1177: Pull request #479 synchronize by jinpingzou73517
12m 49s jinpingzou73517:main
jinpingzou73517:main
12m 49s
chore: regenerate generated/ workspaces Notify leaderboard of main advance #309: Commit ff6a35e pushed by lean-eval-regenerator Bot
6s main
main
6s
chore: regenerate generated/ workspaces CI #1176: Commit ff6a35e pushed by lean-eval-regenerator Bot
4h 7m 44s main
main
4h 7m 44s
fix: make theorem workspace generation robust to source context (#509) CI #1175: Commit ce6f2a2 pushed by kim-em
4h 40m 29s main
main
4h 40m 29s
fix: make theorem workspace generation robust to source context (#509) Regenerate generated/ on main #235: Commit ce6f2a2 pushed by kim-em
43m 16s main
main
43m 16s
fix: make theorem workspace generation robust to source context (#509) Notify leaderboard of main advance #308: Commit ce6f2a2 pushed by kim-em
6s main
main
6s
feat(Geometry): add Freedman's non-smoothability theorem CI #1174: Pull request #523 opened by ocfnash
5m 5s ocfnash:ocfnash/e8_mfld
ocfnash:ocfnash/e8_mfld
5m 5s
feat(Combinatorics): designs exist CI #1173: Pull request #521 synchronize by alreadydone
3h 52m 20s alreadydone:DesignsExist
alreadydone:DesignsExist
3h 52m 20s
feat(Combinatorics): designs exist CI #1172: Pull request #521 synchronize by alreadydone
11m 21s alreadydone:DesignsExist
alreadydone:DesignsExist
11m 21s
feat(AlgebraicGeometry): direct summand theorem and derived variant CI #1171: Pull request #513 synchronize by alreadydone
3h 37m 43s alreadydone:DirectSummand
alreadydone:DirectSummand
3h 37m 43s
feat(Geometry): Klartag's asymptotic lower bound on lattice sphere packing constant CI #1170: Pull request #522 synchronize by alreadydone
4h 45m 0s alreadydone:KlartagPacking
alreadydone:KlartagPacking
4h 45m 0s
feat(Geometry): Klartag's asymptotic lower bound on lattice sphere packing constant CI #1169: Pull request #522 opened by alreadydone
5m 12s alreadydone:KlartagPacking
alreadydone:KlartagPacking
5m 12s
fix: make theorem workspace generation robust to source context CI #1168: Pull request #509 synchronize by kim-em
4h 36m 28s kim-em:codex/robust-statement-extraction
kim-em:codex/robust-statement-extraction
4h 36m 28s
feat(EvalTools): fail validation on problem modules no manifest reach… Notify leaderboard of main advance #307: Commit 9e9e1b5 pushed by kim-em
8s main
main
8s
feat(EvalTools): fail validation on problem modules no manifest reach… Regenerate generated/ on main #234: Commit 9e9e1b5 pushed by kim-em
53m 11s main
main
53m 11s
feat(EvalTools): fail validation on problem modules no manifest reach… CI #1167: Commit 9e9e1b5 pushed by kim-em
4h 34m 29s main
main
4h 34m 29s
feat(Combinatorics): add classification of root systems CI #1166: Pull request #514 synchronize by ocfnash
5h 8m 37s ocfnash:ocfnash/cors
ocfnash:ocfnash/cors
5h 8m 37s
feat(Geometry): add Gauss-Bonnet CI #1165: Pull request #517 synchronize by ocfnash
3h 52m 5s ocfnash:ocfnash/gauss_bonnet
ocfnash:ocfnash/gauss_bonnet
3h 52m 5s
feat(AlgebraicGeometry): direct summand theorem and derived variant CI #1164: Pull request #513 synchronize by alreadydone
3h 43m 8s alreadydone:DirectSummand
alreadydone:DirectSummand
3h 43m 8s