Skip to content

Actions: leanprover/lean-eval-submissions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,231 workflow runs
2,231 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] hopf_umlaufsatz Submission #729: Issue #808 labeled by rishistyping
16m 37s
16m 37s
[submission] hopf_umlaufsatz Submission #728: Issue #807 labeled by rishistyping
1m 56s
1m 56s
record: rishistyping solved nonlinear_three_manifold_group using Stea… CI #546: Commit d55207b pushed by lean-eval-recorder Bot
39s main
main
39s
[submission] nonlinear_three_manifold_group Submission #727: Issue #806 labeled by rishistyping
5m 11s
5m 11s
Submission reconciler Submission reconciler #954: Scheduled
17s main
main
17s
record: Morgan-Griffiths solved nonlinear_three_manifold_group using … CI #545: Commit a909117 pushed by lean-eval-recorder Bot
44s main
main
44s
[submission] nonlinear_three_manifold_group Submission #726: Issue #805 labeled by Morgan-Griffiths
6m 56s
6m 56s
Submission reconciler Submission reconciler #953: Scheduled
21s main
main
21s
record: rishistyping solved tverberg_theorem using Stealth Model @ bc… CI #544: Commit 43a9c2a pushed by lean-eval-recorder Bot
46s main
main
46s
record: rishistyping solved strong_subadditivity using Stealth Model … CI #543: Commit 86512fb pushed by lean-eval-recorder Bot
40s main
main
40s
record: rishistyping solved sobolev_embedding_morrey using Stealth Mo… CI #542: Commit 3a26bcc pushed by lean-eval-recorder Bot
39s main
main
39s
[submission] nonlinear_three_manifold_group Submission #725: Issue #804 labeled by Morgan-Griffiths
3m 2s
3m 2s
record: rishistyping solved semilinear_poisson_radial_symmetry using … CI #541: Commit 0f171e1 pushed by lean-eval-recorder Bot
46s main
main
46s
record: rishistyping solved fundamental_topos_theory using Stealth Mo… CI #540: Commit eb88843 pushed by lean-eval-recorder Bot
43s main
main
43s
Submission reconciler Submission reconciler #952: Scheduled
16s main
main
16s
record: rishistyping solved frobenius_group_determinant using Stealth… CI #539: Commit cef529f pushed by lean-eval-recorder Bot
43s main
main
43s
record: rishistyping solved exists_nonisotopic_knots using Stealth Mo… CI #538: Commit 82ebfb1 pushed by lean-eval-recorder Bot
39s main
main
39s
record: rishistyping solved cauchy_kovalevskaya using Stealth Model @… CI #537: Commit 5f2700d pushed by lean-eval-recorder Bot
45s main
main
45s
record: rishistyping solved brun_constant_converges using Stealth Mod… CI #536: Commit cb9879d pushed by lean-eval-recorder Bot
42s main
main
42s
[submission] tverberg_theorem Submission #724: Issue #803 labeled by rishistyping
21m 1s
21m 1s
[submission] strong_subadditivity Submission #723: Issue #802 labeled by rishistyping
18m 48s
18m 48s
[submission] sobolev_embedding_morrey Submission #722: Issue #801 labeled by rishistyping
17m 57s
17m 57s
[submission] semilinear_poisson_radial_symmetry Submission #721: Issue #800 labeled by rishistyping
14m 20s
14m 20s
[submission] fundamental_topos_theory Submission #720: Issue #799 labeled by rishistyping
13m 4s
13m 4s
[submission] frobenius_group_determinant Submission #719: Issue #798 labeled by rishistyping
9m 58s
9m 58s