Skip to content

Actions: leanprover/lean-eval-submissions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,760 workflow runs
1,760 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
[submission] anosov_bowen_shadowing Submission #520: Issue #596 labeled by rishistyping
Queued
Queued
[submission] stable_unstable_manifolds Submission #519: Issue #595 labeled by rishistyping
In progress
In progress
record: GanjinZero solved pin_sphere_n_mulEquiv_int using Seed Prover… CI #390: Commit 0bfa35e pushed by lean-eval-recorder Bot
38s main
main
38s
Submission reconciler Submission reconciler #848: Scheduled
18s main
main
18s
record: GanjinZero solved pi3_sphere_two_mulEquiv_int using Seed Prov… CI #389: Commit cc1e03c pushed by lean-eval-recorder Bot
39s main
main
39s
[submission] SeedProver pin_sphere_n_mulEquiv_int Submission #518: Issue #594 labeled by GanjinZero
23m 5s
23m 5s
[submission] SeedProver pi3_sphere_two_mulEquiv_int Submission #517: Issue #593 labeled by GanjinZero
15m 43s
15m 43s
Submission reconciler Submission reconciler #847: Scheduled
21s main
main
21s
[submission] SeedProver pi3_sphere_two_mulEquiv_int Submission #516: Issue #592 labeled by GanjinZero
34m 19s
34m 19s
Submission reconciler Submission reconciler #846: Scheduled
41m 51s main
main
41m 51s
Submission reconciler Submission reconciler #845: Scheduled
21s main
main
21s
Submission reconciler Submission reconciler #844: Scheduled
23s main
main
23s
Submission reconciler Submission reconciler #843: Scheduled
20s main
main
20s
record: rishistyping solved ornstein_weiss_rokhlin using Stealth Mode… CI #388: Commit d8475b9 pushed by lean-eval-recorder Bot
42s main
main
42s
[submission] ornstein_weiss_rokhlin Submission #515: Issue #591 labeled by rishistyping
5m 31s
5m 31s
Submission reconciler Submission reconciler #842: Scheduled
23s main
main
23s
Submission reconciler Submission reconciler #841: Scheduled
18s main
main
18s
Submission reconciler Submission reconciler #840: Scheduled
16s main
main
16s
Submission reconciler Submission reconciler #839: Scheduled
17s main
main
17s
record: rishistyping solved levi_civita_exists_unique using Stealth M… CI #387: Commit b8d3d8d pushed by lean-eval-recorder Bot
42s main
main
42s
Submission reconciler Submission reconciler #838: Scheduled
18s main
main
18s
[submission] levi_civita_exists_unique Submission #514: Issue #590 labeled by rishistyping
5m 36s
5m 36s
[submission] levi_civita_exists_unique Submission #513: Issue #589 labeled by rishistyping
20s
20s
Submission reconciler Submission reconciler #837: Scheduled
21s main
main
21s
Submission reconciler Submission reconciler #836: Scheduled
17s main
main
17s