Skip to content

Actions: leanprover/lean-eval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
445 workflow runs
445 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] two_plus_two test Submission #86: Issue #136 labeled by A-M-Berns
In progress
In progress
Submission reconciler Submission reconciler #41: Scheduled
17s main
main
17s
feat: a competition programming problem about permuting a permutation to be unimodal CI #289: Pull request #134 synchronize by TwoFX
50m 13s TwoFX:rearrange
TwoFX:rearrange
50m 13s
Submission reconciler Submission reconciler #40: Scheduled
24s main
main
24s
feat: a competition programming problem about permuting a permutation to be unimodal CI #288: Pull request #134 synchronize by TwoFX
10m 33s TwoFX:rearrange
TwoFX:rearrange
10m 33s
feat: a competition programming problem about permuting a permutation to be unimodal CI #287: Pull request #134 opened by TwoFX
12m 58s TwoFX:rearrange
TwoFX:rearrange
12m 58s
Submission reconciler Submission reconciler #39: Scheduled
20s main
main
20s
Submission reconciler Submission reconciler #38: Scheduled
17s main
main
17s
fix: update Chudnovsky problem source link and informal description (… Notify leaderboard of main advance #10: Commit d4e22ef pushed by kim-em
11s main
main
11s
fix: update Chudnovsky problem source link and informal description (… CI #286: Commit d4e22ef pushed by kim-em
54m 50s main
main
54m 50s
fix: update Chudnovsky problem source link and informal description (… Regenerate generated/ on main #22: Commit d4e22ef pushed by kim-em
6m 37s main
main
6m 37s
Submission reconciler Submission reconciler #37: Scheduled
27s main
main
27s
fix: update Chudnovsky problem source link and informal description CI #285: Pull request #133 opened by kim-em
51m 24s fix/chudnovsky-source-link
fix/chudnovsky-source-link
51m 24s
Submission reconciler Submission reconciler #36: Scheduled
18s main
main
18s
chore: regenerate generated/ workspaces CI #284: Commit 30cdf16 pushed by lean-eval-regenerator Bot
49m 32s main
main
49m 32s
fix(NumberTheory): correct first disjunct in CMS house theorem (#129) Regenerate generated/ on main #21: Commit 1bea0ff pushed by kim-em
5m 29s main
main
5m 29s
fix(NumberTheory): correct first disjunct in CMS house theorem (#129) Notify leaderboard of main advance #9: Commit 1bea0ff pushed by kim-em
7s main
main
7s
fix(NumberTheory): correct first disjunct in CMS house theorem (#129) CI #283: Commit 1bea0ff pushed by kim-em
51m 56s main
main
51m 56s
Submission reconciler Submission reconciler #35: Scheduled
26s main
main
26s
feat(Geometry): uniformization theorem CI #282: Pull request #132 opened by alreadydone
54m 25s alreadydone:uniformization
alreadydone:uniformization
54m 25s
Submission reconciler Submission reconciler #34: Scheduled
23s main
main
23s
Submission reconciler Submission reconciler #33: Scheduled
17s main
main
17s
Submission reconciler Submission reconciler #32: Scheduled
26s main
main
26s
Submission reconciler Submission reconciler #31: Scheduled
26s main
main
26s
Submission reconciler Submission reconciler #30: Scheduled
17s main
main
17s