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 Notify leaderboard of main advance #345: Commit e8eb893 pushed by lean-eval-regenerator Bot
7s main
main
7s
chore: regenerate generated/ workspaces CI #1501: Commit e8eb893 pushed by lean-eval-regenerator Bot
32m 50s main
main
32m 50s
Bump LeanEval to Lean v4.34.0 (#641) Regenerate generated/ on main #264: Commit b0337b9 pushed by kim-em
1h 0m 26s main
main
1h 0m 26s
Bump LeanEval to Lean v4.34.0 (#641) CI #1500: Commit b0337b9 pushed by kim-em
29m 23s main
main
29m 23s
Bump LeanEval to Lean v4.34.0 (#641) Notify leaderboard of main advance #344: Commit b0337b9 pushed by kim-em
6s main
main
6s
Bump LeanEval to Lean v4.34.0 CI #1499: Pull request #641 synchronize by kim-em
32m 5s chore/lean-4.34.0
chore/lean-4.34.0
32m 5s
Bump LeanEval to Lean v4.34.0 CI #1498: Pull request #641 synchronize by kim-em
27m 50s chore/lean-4.34.0
chore/lean-4.34.0
27m 50s
Bump LeanEval to Lean v4.34.0 CI #1497: Pull request #641 synchronize by kim-em
12m 6s chore/lean-4.34.0
chore/lean-4.34.0
12m 6s
Bump LeanEval to Lean v4.34.0 CI #1496: Pull request #641 opened by kim-em
18m 52s chore/lean-4.34.0
chore/lean-4.34.0
18m 52s
feat(Geometry): more on Riemann surfaces CI #1495: Pull request #639 opened by alreadydone
11m 38s alreadydone:RiemannSurface
alreadydone:RiemannSurface
11m 38s
feat(Geometry): Bourgain's slicing problem CI #1494: Pull request #638 opened by alreadydone
11m 16s alreadydone:BourgainSlicing
alreadydone:BourgainSlicing
11m 16s
feat(GraphTheory): embedding, chromatic number and minor CI #1493: Pull request #633 synchronize by alreadydone
10m 33s alreadydone:GraphTheory
alreadydone:GraphTheory
10m 33s
feat(GraphTheory): embedding, chromatic number and minor CI #1492: Pull request #633 synchronize by alreadydone
6m 47s alreadydone:GraphTheory
alreadydone:GraphTheory
6m 47s
Record completed P0 and P1 hardening (#636) CI #1491: Commit dd42cf4 pushed by kim-em
1m 13s main
main
1m 13s
Record completed P0 and P1 hardening CI #1490: Pull request #636 opened by kim-em
1m 19s docs/complete-p0-p1-readback
docs/complete-p0-p1-readback
1m 19s
Document post-launch intake hardening (#635) CI #1489: Commit 29af5ee pushed by kim-em
1m 19s main
main
1m 19s
feat(GraphTheory): embedding, chromatic number and minor CI #1488: Pull request #633 synchronize by alreadydone
10m 54s alreadydone:GraphTheory
alreadydone:GraphTheory
10m 54s
Document post-launch intake hardening CI #1487: Pull request #635 synchronize by kim-em
1m 27s docs/p0-p1-intake-hardening
docs/p0-p1-intake-hardening
1m 27s
Document post-launch intake hardening CI #1486: Pull request #635 synchronize by kim-em
1m 18s docs/p0-p1-intake-hardening
docs/p0-p1-intake-hardening
1m 18s
Document post-launch intake hardening CI #1485: Pull request #635 opened by kim-em
1m 23s docs/p0-p1-intake-hardening
docs/p0-p1-intake-hardening
1m 23s
feat(GraphTheory): embedding, chromatic number and minor CI #1484: Pull request #633 synchronize by alreadydone
10m 48s alreadydone:GraphTheory
alreadydone:GraphTheory
10m 48s
feat(GraphTheory): embedding, chromatic number and minor CI #1483: Pull request #633 synchronize by alreadydone
11m 50s alreadydone:GraphTheory
alreadydone:GraphTheory
11m 50s
feat(GraphTheory): embedding, chromatic number and minor CI #1482: Pull request #633 opened by alreadydone
8m 59s alreadydone:GraphTheory
alreadydone:GraphTheory
8m 59s
docs: fix broken relative links CI #1481: Pull request #632 opened by toh995
Action required toh995:fix-broken-relative-links
toh995:fix-broken-relative-links
Action required
Merge pull request #631 from leanprover/docs/current-replay-completion CI #1480: Commit 61b6657 pushed by kim-em
1m 22s main
main
1m 22s