Skip to content

Actions: leanprover/lean-eval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,668 workflow runs
1,668 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
chore: regenerate generated/ workspaces CI #825: Commit 4cfc90d pushed by lean-eval-regenerator Bot
1h 47m 56s main
main
1h 47m 56s
chore: regenerate generated/ workspaces Notify leaderboard of main advance #190: Commit 4cfc90d pushed by lean-eval-regenerator Bot
7s main
main
7s
chore: regenerate generated/ workspaces CI #824: Commit 189a3e6 pushed by lean-eval-regenerator Bot
27m 4s main
main
27m 4s
chore: regenerate generated/ workspaces Notify leaderboard of main advance #189: Commit 189a3e6 pushed by lean-eval-regenerator Bot
6s main
main
6s
feat: add Hopf Umlaufsatz eval problem (§170) (#420) CI #823: Commit c9a395a pushed by kim-em
2h 25m 48s main
main
2h 25m 48s
feat: add Hopf Umlaufsatz eval problem (§170) (#420) Notify leaderboard of main advance #188: Commit c9a395a pushed by kim-em
7s main
main
7s
feat: add Hopf Umlaufsatz eval problem (§170) (#420) Regenerate generated/ on main #156: Commit c9a395a pushed by kim-em
37m 1s main
main
37m 1s
feat: add Onsager 2D Ising phase transition eval problem (§158) (#412) Regenerate generated/ on main #155: Commit 06c27db pushed by kim-em
6s main
main
6s
feat: add Onsager 2D Ising phase transition eval problem (§158) (#412) Notify leaderboard of main advance #187: Commit 06c27db pushed by kim-em
7s main
main
7s
feat: add Onsager 2D Ising phase transition eval problem (§158) (#412) CI #822: Commit 06c27db pushed by kim-em
2h 24m 50s main
main
2h 24m 50s
chore: regenerate generated/ workspaces CI #821: Commit 9eee124 pushed by lean-eval-regenerator Bot
28m 30s main
main
28m 30s
chore: regenerate generated/ workspaces Notify leaderboard of main advance #186: Commit 9eee124 pushed by lean-eval-regenerator Bot
7s main
main
7s
feat: add Jordan normal form eval problem (§165) (#416) Notify leaderboard of main advance #185: Commit 96aaa94 pushed by kim-em
9s main
main
9s
feat: add Jordan normal form eval problem (§165) (#416) CI #820: Commit 96aaa94 pushed by kim-em
2h 25m 55s main
main
2h 25m 55s
feat: add Jordan normal form eval problem (§165) (#416) Regenerate generated/ on main #154: Commit 96aaa94 pushed by kim-em
23m 55s main
main
23m 55s
feat: add quadrisecant theorem eval problem (#413) Notify leaderboard of main advance #184: Commit 1a112fa pushed by kim-em
6s main
main
6s
feat: add quadrisecant theorem eval problem (#413) CI #819: Commit 1a112fa pushed by kim-em
2h 18m 24s main
main
2h 18m 24s
feat: add quadrisecant theorem eval problem (#413) Regenerate generated/ on main #153: Commit 1a112fa pushed by kim-em
6s main
main
6s
feat: add Tverberg's theorem eval problem (§169) (#419) Regenerate generated/ on main #152: Commit 972857a pushed by kim-em
2m 37s main
main
2m 37s
feat: add Tverberg's theorem eval problem (§169) (#419) CI #818: Commit 972857a pushed by kim-em
2h 20m 14s main
main
2h 20m 14s
feat: add Tverberg's theorem eval problem (§169) (#419) Notify leaderboard of main advance #183: Commit 972857a pushed by kim-em
9s main
main
9s
feat: add alternating sign matrix theorem eval problem (#418) Notify leaderboard of main advance #182: Commit 88efd2f pushed by kim-em
10s main
main
10s
feat: add alternating sign matrix theorem eval problem (#418) Regenerate generated/ on main #151: Commit 88efd2f pushed by kim-em
7s main
main
7s
feat: add alternating sign matrix theorem eval problem (#418) CI #817: Commit 88efd2f pushed by kim-em
2h 25m 57s main
main
2h 25m 57s
feat: add Morley's trisector theorem eval problem (§162) (#414) Notify leaderboard of main advance #181: Commit 15bbf93 pushed by kim-em
8s main
main
8s