Skip to content

Actions: leanprover/lean-eval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
793 workflow runs
793 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 #208: Scheduled
17s main
main
17s
Submission reconciler Submission reconciler #207: Scheduled
21s main
main
21s
[submission] Aleph exists_nonisotopic_link Submission #175: Issue #250 labeled by mayorov-m-a
7m 27s
7m 27s
Submission reconciler Submission reconciler #206: Scheduled
16s main
main
16s
Submission reconciler Submission reconciler #205: Scheduled
21s main
main
21s
Submission reconciler Submission reconciler #204: Scheduled
22s main
main
22s
Submission reconciler Submission reconciler #203: Scheduled
24s main
main
24s
[submission] irreducible_nonnegative_matrix_has_positive_eigenvector_at_spectralRadius Submission #174: Issue #249 labeled by daouid
32m 25s
32m 25s
[submission] Aleph balanceable_bounded_partitions native_decide fix Submission #173: Issue #248 labeled by mayorov-m-a
6m 35s
6m 35s
Submission reconciler Submission reconciler #202: Scheduled
17s main
main
17s
[submission] Aleph 3 more problems Submission #172: Issue #247 labeled by mayorov-m-a
12m 19s
12m 19s
Submission reconciler Submission reconciler #201: Scheduled
18s main
main
18s
Submission reconciler Submission reconciler #200: Scheduled
19s main
main
19s
Submission reconciler Submission reconciler #199: Scheduled
20s main
main
20s
Submission reconciler Submission reconciler #198: Scheduled
22s main
main
22s
Submission reconciler Submission reconciler #197: Scheduled
26s main
main
26s
Submission reconciler Submission reconciler #196: Scheduled
22s main
main
22s
Submission reconciler Submission reconciler #195: Scheduled
20m 54s main
main
20m 54s
[submission] cubic_decay_asymptotic Submission #171: Issue #246 labeled by daouid
31m 28s
31m 28s
Submission reconciler Submission reconciler #194: Scheduled
28s main
main
28s
Submission reconciler Submission reconciler #193: Scheduled
21s main
main
21s
[submission] bulk Submission #170: Issue #245 labeled by daouid
29m 18s
29m 18s
[submission] Aristotle (Harmonic) dvd_card_connectedComponent_markoffGraph Submission #169: Issue #244 labeled by LorenzoLuccioli
6m 49s
6m 49s
Submission reconciler Submission reconciler #192: Scheduled
25s main
main
25s
[submission] contractibleSpace_houseWithTwoRooms Submission #168: Issue #243 labeled by daouid
10m 52s
10m 52s