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
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
Action required tchow12000-coder:q-tspp-statement
tchow12000-coder:q-tspp-statement
Action required
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
Allow solutions to depend on Lean Pool CI #1552: Pull request #653 synchronize by kim-em
9m 35s Vilin97:codex/lean-pool-solutions
Vilin97:codex/lean-pool-solutions
9m 35s
Allow solutions to depend on Lean Pool CI #1551: Pull request #653 synchronize by kim-em
5m 53s Vilin97:codex/lean-pool-solutions
Vilin97:codex/lean-pool-solutions
5m 53s
Allow solutions to depend on Lean Pool CI #1550: Pull request #653 synchronize by kim-em
7m 59s Vilin97:codex/lean-pool-solutions
Vilin97:codex/lean-pool-solutions
7m 59s
chore: bump toolchain to v4.35.0-rc3 (#654) Notify leaderboard of main advance #355: Commit 47349f7 pushed by kim-em
7s main
main
7s
chore: bump toolchain to v4.35.0-rc3 (#654) CI #1549: Commit 47349f7 pushed by kim-em
30m 53s main
main
30m 53s
chore: bump toolchain to v4.35.0-rc3 (#654) Regenerate generated/ on main #270: Commit 47349f7 pushed by kim-em
1h 6m 0s main
main
1h 6m 0s
Allow solutions to depend on Lean Pool CI #1548: Pull request #653 synchronize by kim-em
33m 39s Vilin97:codex/lean-pool-solutions
Vilin97:codex/lean-pool-solutions
33m 39s
chore: bump toolchain to v4.35.0-rc3 CI #1547: Pull request #654 synchronize by kim-em
32m 33s bump-toolchain-v4.35.0-rc3
bump-toolchain-v4.35.0-rc3
32m 33s
chore: bump toolchain to v4.35.0-rc3 CI #1546: Pull request #654 synchronize by kim-em
28m 23s bump-toolchain-v4.35.0-rc3
bump-toolchain-v4.35.0-rc3
28m 23s
chore: bump toolchain to v4.35.0-rc3 CI #1545: Pull request #654 opened by kim-em
7m 41s bump-toolchain-v4.35.0-rc3
bump-toolchain-v4.35.0-rc3
7m 41s
Allow solutions to depend on Lean Pool CI #1544: Pull request #653 synchronize by Vilin97
34m 55s Vilin97:codex/lean-pool-solutions
Vilin97:codex/lean-pool-solutions
34m 55s
Allow solutions to depend on Lean Pool CI #1543: Pull request #653 synchronize by Vilin97
19m 30s Vilin97:codex/lean-pool-solutions
Vilin97:codex/lean-pool-solutions
19m 30s
Allow solutions to depend on Lean Pool CI #1542: Pull request #653 synchronize by Vilin97
32m 21s Vilin97:codex/lean-pool-solutions
Vilin97:codex/lean-pool-solutions
32m 21s
Allow solutions to depend on Lean Pool CI #1541: Pull request #653 opened by Vilin97
27m 0s Vilin97:codex/lean-pool-solutions
Vilin97:codex/lean-pool-solutions
27m 0s
feat(Analysis): from C¹-manifold to real analytic CI #1540: Pull request #652 synchronize by alreadydone
13m 35s alreadydone:C1ToAnalytic
alreadydone:C1ToAnalytic
13m 35s