Skip to content

Actions: leanprover/lean-eval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
452 workflow runs
452 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
Fix Perron-Frobenius index nonemptiness CI #293: Pull request #139 opened by A-M-Berns
Action required A-M-Berns:fix-perron-frobenius-nonempty
A-M-Berns:fix-perron-frobenius-nonempty
Action required
Submission reconciler Submission reconciler #43: Scheduled
24s main
main
24s
Submission reconciler Submission reconciler #42: Scheduled
5m 47s main
main
5m 47s
[submission] two_plus_two test Submission #87: Issue #138 labeled by A-M-Berns
5m 58s
5m 58s
feat: balanceable k-bounded partitions CI #292: Pull request #137 synchronize by TwoFX
51m 57s TwoFX:balanced_partitions
TwoFX:balanced_partitions
51m 57s
feat: balanceable k-bounded partitions CI #291: Pull request #137 synchronize by TwoFX
5m 40s TwoFX:balanced_partitions
TwoFX:balanced_partitions
5m 40s
feat: balanceable k-bounded partitions CI #290: Pull request #137 opened by TwoFX
54m 1s TwoFX:balanced_partitions
TwoFX:balanced_partitions
54m 1s
[submission] two_plus_two test Submission #86: Issue #136 labeled by A-M-Berns
6m 8s
6m 8s
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