Skip to content

Actions: leanprover/lean-eval-submissions

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,494 workflow runs
2,494 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 reconciler Submission reconciler #1135: Scheduled
16s main
main
16s
Submission reconciler Submission reconciler #1134: Scheduled
21s main
main
21s
Submission reconciler Submission reconciler #1133: Scheduled
15s main
main
15s
Submission reconciler Submission reconciler #1132: Scheduled
16s main
main
16s
Submission reconciler Submission reconciler #1131: Scheduled
20s main
main
20s
record: hanwenzhu solved mandelbrot_connected using Seed Prover (Byte… CI #576: Commit b8c9c5c pushed by lean-eval-recorder Bot
39s main
main
39s
[submission] SeedProver mandelbrot_connected Submission #781: Issue #861 labeled by hanwenzhu
10m 20s
10m 20s
Submission reconciler Submission reconciler #1130: Scheduled
17s main
main
17s
Submission reconciler Submission reconciler #1129: Scheduled
22s main
main
22s
Submission reconciler Submission reconciler #1128: Scheduled
20s main
main
20s
Submission reconciler Submission reconciler #1127: Scheduled
16s main
main
16s
Submission reconciler Submission reconciler #1126: Scheduled
19s main
main
19s
record: eohjelle solved baer_suzuki, brauer_character_in_cyclotomic, … CI #575: Commit 2e2fb50 pushed by lean-eval-recorder Bot
38s main
main
38s
Submission reconciler Submission reconciler #1125: Scheduled
17s main
main
17s
[submission] Autoformalization of Feit-Thompson Submission #780: Issue #860 labeled by eohjelle
24m 17s
24m 17s
Submission reconciler Submission reconciler #1124: Scheduled
20s main
main
20s
[submission] feit_thompson Submission #779: Issue #859 labeled by eohjelle
43s
43s
Submission reconciler Submission reconciler #1123: Scheduled
19s main
main
19s
record: Solarys431 solved platonic_classification using UNICO/NOUS: C… CI #574: Commit 6dcba4b pushed by lean-eval-recorder Bot
48s main
main
48s
Submission reconciler Submission reconciler #1122: Scheduled
20s main
main
20s
[submission] platonic_classification Submission #778: Issue #858 labeled by Solarys431
16m 25s
16m 25s
[submission] erdos_unit_distance_conjecture_false Submission #777: Issue #857 labeled by rishistyping
28m 25s
28m 25s
Submission reconciler Submission reconciler #1121: Scheduled
11m 15s main
main
11m 15s
[submission] platonic_classification Submission #776: Issue #856 labeled by Solarys431
19m 54s
19m 54s
[submission] platonic_classification Submission #775: Issue #855 labeled by Solarys431
11m 12s
11m 12s