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
feat(ComplexAnalysis): unbounded denominators conjecture CI #1521: Pull request #646 synchronize by alreadydone
16m 28s alreadydone:UnboundedDenominator
alreadydone:UnboundedDenominator
16m 28s
feat(ComplexAnalysis): unbounded denominators conjecture CI #1520: Pull request #646 synchronize by alreadydone
1m 24s alreadydone:UnboundedDenominator
alreadydone:UnboundedDenominator
1m 24s
feat(ComplexAnalysis): unbounded denominators conjecture CI #1519: Pull request #646 opened by alreadydone
1m 23s alreadydone:UnboundedDenominator
alreadydone:UnboundedDenominator
1m 23s
feat(Topology): vector fields on sphere (Adams) CI #1518: Pull request #645 synchronize by alreadydone
17m 44s alreadydone:VectorFieldSphere
alreadydone:VectorFieldSphere
17m 44s
feat(Topology): vector fields on sphere (Adams) CI #1517: Pull request #645 synchronize by alreadydone
11m 13s alreadydone:VectorFieldSphere
alreadydone:VectorFieldSphere
11m 13s
feat(Topology): vector fields on sphere (Adams) CI #1516: Pull request #645 synchronize by alreadydone
12m 22s alreadydone:VectorFieldSphere
alreadydone:VectorFieldSphere
12m 22s
feat(Topology): vector fields on sphere (Adams) CI #1515: Pull request #645 opened by alreadydone
1m 19s alreadydone:VectorFieldSphere
alreadydone:VectorFieldSphere
1m 19s
feat(Combinatorics): designs exist CI #1514: Pull request #521 synchronize by alreadydone
11m 48s alreadydone:DesignsExist
alreadydone:DesignsExist
11m 48s
feat(GraphTheory): embedding, chromatic number and minor CI #1513: Pull request #633 synchronize by alreadydone
11m 55s alreadydone:GraphTheory
alreadydone:GraphTheory
11m 55s
feat(GraphTheory): embedding, chromatic number and minor CI #1512: Pull request #633 synchronize by alreadydone
11m 41s alreadydone:GraphTheory
alreadydone:GraphTheory
11m 41s
chore: regenerate generated/ workspaces CI #1511: Commit f9c4984 pushed by lean-eval-regenerator Bot
30m 35s main
main
30m 35s
chore: regenerate generated/ workspaces Notify leaderboard of main advance #347: Commit f9c4984 pushed by lean-eval-regenerator Bot
5s main
main
5s
feat: add the Hopf S⁶ complex-structure problem (#557) Notify leaderboard of main advance #346: Commit 092c039 pushed by kim-em
5s main
main
5s
feat: add the Hopf S⁶ complex-structure problem (#557) Regenerate generated/ on main #265: Commit 092c039 pushed by kim-em
1h 12m 48s main
main
1h 12m 48s
feat: add the Hopf S⁶ complex-structure problem (#557) CI #1510: Commit 092c039 pushed by kim-em
31m 39s main
main
31m 39s
feat(NumberTheory): Sylvester's conjecture CI #1509: Pull request #643 synchronize by kim-em
11m 14s alreadydone:Sylvester
alreadydone:Sylvester
11m 14s
fix: select PR CI changes from the merge base (#644) CI #1508: Commit 04ddd7c pushed by kim-em
5m 24s main
main
5m 24s
feat: add the Hopf S⁶ complex-structure problem CI #1507: Pull request #557 synchronize by kim-em
31m 42s Deicyde:hopf-s6-challenge
Deicyde:hopf-s6-challenge
31m 42s
feat(Geometry): Bourgain's slicing problem CI #1506: Pull request #638 synchronize by kim-em
11m 32s alreadydone:BourgainSlicing
alreadydone:BourgainSlicing
11m 32s
fix: select PR CI changes from the merge base CI #1505: Pull request #644 synchronize by kim-em
28m 37s fix/pr-ci-merge-base
fix/pr-ci-merge-base
28m 37s
fix: select PR CI changes from the merge base CI #1504: Pull request #644 opened by kim-em
26m 53s fix/pr-ci-merge-base
fix/pr-ci-merge-base
26m 53s
feat(NumberTheory): Sylvester's conjecture CI #1503: Pull request #643 synchronize by alreadydone
29m 9s alreadydone:Sylvester
alreadydone:Sylvester
29m 9s
feat(NumberTheory): Sylvester's conjecture CI #1502: Pull request #643 opened by alreadydone
30m 22s alreadydone:Sylvester
alreadydone:Sylvester
30m 22s
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