Skip to content

Actions: leanprover/lean-eval-submissions

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
Monitor lifecycle Cloudflare readiness Monitor lifecycle Cloudflare readiness #3147: Scheduled
30s main
main
30s
Submission reconciler Submission reconciler #2883: Scheduled
20s main
main
20s
Monitor lifecycle Cloudflare readiness Monitor lifecycle Cloudflare readiness #3146: Scheduled
37s main
main
37s
Monitor lifecycle Cloudflare readiness Monitor lifecycle Cloudflare readiness #3145: Scheduled
36s main
main
36s
Monitor lifecycle Cloudflare readiness Monitor lifecycle Cloudflare readiness #3144: Scheduled
40s main
main
40s
Submission reconciler Submission reconciler #2882: Scheduled
21s main
main
21s
Monitor lifecycle Cloudflare readiness Monitor lifecycle Cloudflare readiness #3143: Scheduled
37s main
main
37s
Submission reconciler Submission reconciler #2881: Scheduled
23s main
main
23s
Monitor lifecycle Cloudflare readiness Monitor lifecycle Cloudflare readiness #3142: Scheduled
39s main
main
39s
record: ma4ypic4y solved hopf_s6_complex_structure using max gp (GPT-… Promote workflow-only immutable dispatch ref #337: Commit 677afb7 pushed by lean-eval-recorder Bot
Waiting main
main
Waiting
record: ma4ypic4y solved hopf_s6_complex_structure using max gp (GPT-… CI #2305: Commit 677afb7 pushed by lean-eval-recorder Bot
1m 42s main
main
1m 42s
Submission reconciler Submission reconciler #2880: Scheduled
23s main
main
23s
Monitor lifecycle Cloudflare readiness Monitor lifecycle Cloudflare readiness #3141: Scheduled
35s main
main
35s
record: ma4ypic4y solved annals_motivic_invariants using max gp (GPT-… Promote workflow-only immutable dispatch ref #336: Commit cca8692 pushed by lean-eval-recorder Bot
Waiting main
main
Waiting
record: ma4ypic4y solved annals_motivic_invariants using max gp (GPT-… CI #2304: Commit cca8692 pushed by lean-eval-recorder Bot
1m 47s main
main
1m 47s
Monitor lifecycle Cloudflare readiness Monitor lifecycle Cloudflare readiness #3140: Scheduled
42s main
main
42s
[submission] hopf_s6_complex_structure — max gp (GPT-6) Submission #1837: Issue #1996 opened by ma4ypic4y
1h 41m 41s
1h 41m 41s
Monitor lifecycle Cloudflare readiness Monitor lifecycle Cloudflare readiness #3139: Scheduled
37s main
main
37s
Monitor lifecycle Cloudflare readiness Monitor lifecycle Cloudflare readiness #3138: Scheduled
37s main
main
37s
Submission reconciler Submission reconciler #2879: Scheduled
17s main
main
17s
Monitor lifecycle Cloudflare readiness Monitor lifecycle Cloudflare readiness #3137: Scheduled
40s main
main
40s
[submission] annals_motivic_invariants — max gp (GPT-6) Submission #1836: Issue #1995 opened by ma4ypic4y
1h 44m 51s
1h 44m 51s
[submission] sphere_theorem_differentiable — max gp (GPT-6) Submission #1835: Issue #1994 opened by ma4ypic4y
In progress
In progress
Monitor lifecycle Cloudflare readiness Monitor lifecycle Cloudflare readiness #3136: Scheduled
1m 14s main
main
1m 14s
Monitor lifecycle Cloudflare readiness Monitor lifecycle Cloudflare readiness #3135: Scheduled
38s main
main
38s