Skip to content

Actions: leanprover/lean-eval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,510 workflow runs
1,510 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 #735: Commit 598a247 pushed by lean-eval-regenerator Bot
In progress main
main
In progress
chore: regenerate generated/ workspaces Notify leaderboard of main advance #151: Commit 598a247 pushed by lean-eval-regenerator Bot
6s main
main
6s
feat: add Higman infinite finitely-presented simple group eval proble… Regenerate generated/ on main #126: Commit 88267d2 pushed by kim-em
17m 22s main
main
17m 22s
feat: add Higman infinite finitely-presented simple group eval proble… Notify leaderboard of main advance #150: Commit 88267d2 pushed by kim-em
6s main
main
6s
feat: add Higman infinite finitely-presented simple group eval proble… CI #734: Commit 88267d2 pushed by kim-em
In progress main
main
In progress
chore: regenerate generated/ workspaces Notify leaderboard of main advance #149: Commit 527db45 pushed by lean-eval-regenerator Bot
8s main
main
8s
chore: regenerate generated/ workspaces CI #733: Commit 527db45 pushed by lean-eval-regenerator Bot
1h 29m 59s main
main
1h 29m 59s
feat: add Higman infinite finitely-presented simple group eval problem CI #732: Pull request #384 synchronize by kim-em
1h 54m 40s knill-§122-higman-infinite-simple
knill-§122-higman-infinite-simple
1h 54m 40s
feat: add Novikov unsolvable word problem eval problem (#383) Notify leaderboard of main advance #148: Commit 4b3deb8 pushed by kim-em
6s main
main
6s
feat: add Novikov unsolvable word problem eval problem (#383) CI #731: Commit 4b3deb8 pushed by kim-em
2h 4m 5s main
main
2h 4m 5s
feat: add Novikov unsolvable word problem eval problem (#383) Regenerate generated/ on main #125: Commit 4b3deb8 pushed by kim-em
17m 23s main
main
17m 23s
chore: regenerate generated/ workspaces Notify leaderboard of main advance #147: Commit b4bb631 pushed by lean-eval-regenerator Bot
5s main
main
5s
chore: regenerate generated/ workspaces CI #730: Commit b4bb631 pushed by lean-eval-regenerator Bot
1h 49m 10s main
main
1h 49m 10s
feat: add Novikov unsolvable word problem eval problem CI #729: Pull request #383 synchronize by kim-em
1h 53m 29s knill-§122-novikov-unsolvable
knill-§122-novikov-unsolvable
1h 53m 29s
feat: add Kuznetsov/Boone–Higman word-problem-solvable eval problem (… CI #728: Commit 03e81f1 pushed by kim-em
1h 57m 29s main
main
1h 57m 29s
feat: add Kuznetsov/Boone–Higman word-problem-solvable eval problem (… Notify leaderboard of main advance #146: Commit 03e81f1 pushed by kim-em
8s main
main
8s
feat: add Kuznetsov/Boone–Higman word-problem-solvable eval problem (… Regenerate generated/ on main #124: Commit 03e81f1 pushed by kim-em
17m 14s main
main
17m 14s
chore: regenerate generated/ workspaces CI #727: Commit 86c9241 pushed by lean-eval-regenerator Bot
1h 49m 5s main
main
1h 49m 5s
chore: regenerate generated/ workspaces Notify leaderboard of main advance #145: Commit 86c9241 pushed by lean-eval-regenerator Bot
5s main
main
5s
feat: add Kuznetsov/Boone–Higman word-problem-solvable eval problem CI #726: Pull request #382 synchronize by kim-em
1h 58m 5s knill-§122-boone-higman-simple
knill-§122-boone-higman-simple
1h 58m 5s
feat: add Fáry–Milnor theorem eval problem (#381) Notify leaderboard of main advance #144: Commit 1ab82ab pushed by kim-em
8s main
main
8s
feat: add Fáry–Milnor theorem eval problem (#381) CI #725: Commit 1ab82ab pushed by kim-em
1h 56m 50s main
main
1h 56m 50s
feat: add Fáry–Milnor theorem eval problem (#381) Regenerate generated/ on main #123: Commit 1ab82ab pushed by kim-em
16m 32s main
main
16m 32s
chore: regenerate generated/ workspaces CI #724: Commit fdace9d pushed by lean-eval-regenerator Bot
1h 45m 2s main
main
1h 45m 2s
chore: regenerate generated/ workspaces Notify leaderboard of main advance #143: Commit fdace9d pushed by lean-eval-regenerator Bot
6s main
main
6s