Skip to content

Actions: leanprover/lean-eval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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 #1568: Commit 38361be pushed by lean-eval-regenerator Bot
28m 59s main
main
28m 59s
chore: regenerate generated/ workspaces Notify leaderboard of main advance #361: Commit 38361be pushed by lean-eval-regenerator Bot
11s main
main
11s
Add q-TSPP theorem statement (#656) Regenerate generated/ on main #273: Commit 5517d5e pushed by kim-em
1h 11m 31s main
main
1h 11m 31s
Add q-TSPP theorem statement (#656) CI #1567: Commit 5517d5e pushed by kim-em
32m 46s main
main
32m 46s
Add q-TSPP theorem statement (#656) Notify leaderboard of main advance #360: Commit 5517d5e pushed by kim-em
6s main
main
6s
ci: check the evaluation pipeline accepts the pinned toolchain (#661) CI #1566: Commit 7bf1f3f pushed by kim-em
23m 25s main
main
23m 25s
ci: check the evaluation pipeline accepts the pinned toolchain CI #1565: Pull request #661 synchronize by kim-em
26m 2s pipeline-toolchain-contract
pipeline-toolchain-contract
26m 2s
ci: check the evaluation pipeline accepts the pinned toolchain CI #1564: Pull request #661 synchronize by kim-em
21s pipeline-toolchain-contract
pipeline-toolchain-contract
21s
ci: check the evaluation pipeline accepts the pinned toolchain CI #1563: Pull request #661 synchronize by kim-em
15s pipeline-toolchain-contract
pipeline-toolchain-contract
15s
ci: check the evaluation pipeline accepts the pinned toolchain CI #1562: Pull request #661 synchronize by kim-em
19s pipeline-toolchain-contract
pipeline-toolchain-contract
19s
ci: check the evaluation pipeline accepts the pinned toolchain CI #1561: Pull request #661 opened by kim-em
17s pipeline-toolchain-contract
pipeline-toolchain-contract
17s
fix: pin trusted comparator tools in evaluation harness (#660) CI #1560: Commit 2e58dff pushed by kim-em
28m 51s main
main
28m 51s
fix: pin trusted comparator tools in evaluation harness (#660) Regenerate generated/ on main #272: Commit 2e58dff pushed by kim-em
56m 38s main
main
56m 38s
fix: pin trusted comparator tools in evaluation harness (#660) Notify leaderboard of main advance #359: Commit 2e58dff pushed by kim-em
8s main
main
8s
fix: pin trusted comparator tools in evaluation harness CI #1559: Pull request #660 opened by kim-em
30m 37s fix/trusted-comparator-tools
fix/trusted-comparator-tools
30m 37s
fix: require Hausdorff CW spaces for derived solidification CI #1558: Pull request #658 opened by Vilin97
15m 20s Vilin97:fix/derived-solid-cw-hausdorff
Vilin97:fix/derived-solid-cw-hausdorff
15m 20s
Add q-TSPP theorem statement CI #1557: Pull request #656 opened by tchow12000-coder
12m 38s tchow12000-coder:q-tspp-statement
tchow12000-coder:q-tspp-statement
12m 38s
chore: regenerate generated/ workspaces Notify leaderboard of main advance #358: Commit 0e09329 pushed by lean-eval-regenerator Bot
41s main
main
41s
chore: regenerate generated/ workspaces CI #1556: Commit 0e09329 pushed by lean-eval-regenerator Bot
30m 41s main
main
30m 41s
Allow solutions to depend on Lean Pool (#653) Notify leaderboard of main advance #357: Commit f0fd178 pushed by kim-em
8s main
main
8s
Allow solutions to depend on Lean Pool (#653) CI #1555: Commit f0fd178 pushed by kim-em
31m 19s main
main
31m 19s
Allow solutions to depend on Lean Pool (#653) Regenerate generated/ on main #271: Commit f0fd178 pushed by kim-em
1h 17m 45s main
main
1h 17m 45s
chore: regenerate generated/ workspaces Notify leaderboard of main advance #356: Commit 2c2b188 pushed by lean-eval-regenerator Bot
7s main
main
7s
chore: regenerate generated/ workspaces CI #1554: Commit 2c2b188 pushed by lean-eval-regenerator Bot
14m 9s main
main
14m 9s
Allow solutions to depend on Lean Pool CI #1553: Pull request #653 synchronize by kim-em
34m 9s Vilin97:codex/lean-pool-solutions
Vilin97:codex/lean-pool-solutions
34m 9s